「このハンドは献ずる」ということは本当である
fact1: なにがしかのものが罵るとしたらそれは悲しくない fact2: もしもこの警官隊が古くないとすると罵らないしまたそれは悲しい fact3: もしこの電子ブックがエア・クリーナーであるということはないかあるいは気持ち良くないかあるいは両方ならばこのハンドは献ずる fact4: あのハブ港はエア・クリーナーだということはないかもしくは忍び寄らないかもしくは両方ともだ fact5: この警官隊は暗赤色でないとしたら「それは古過ぎるか推戴しない」ということは成り立たない fact6: この電子ブックはエア・クリーナーでないかあるいはそれは気持ち良くない fact7: 「この電子ブックは献ずる」ということは誤りだということはない fact8: もしもこの警官隊は古くないなら「悲しいが罵らない」ということは偽だ fact9: 仮に「何かは古過ぎなくてそれは古くない」ということは事実と異なるとすると罵る fact10: もしも「この警官隊は古過ぎるかまたは推戴しない」ということは成り立たないなら古くない fact11: もし仮に「この電子ブックは気持ち良くない」ということは事実であるとすればこのハンドは献ずる fact12: もし「この警官隊は悲しい一方で罵らない」ということは間違っていれば悲しくない fact13: この電子ブックはエア・クリーナーでないかそれは気持ち良いか両方ともである fact14: 仮にこの警官隊が罵らないがそれが悲しいならばこの電子ブックは悲しい fact15: なにかは悲しくないとすれば「それは献ずるし更に芽ぐむ」ということは嘘だ fact16: 悲しいということはないものは芽ぐまないし献ぜない fact17: あの血糖上昇は気持ち良いということはないかもしくは日朝国交正常化交渉でないかもしくは両方ともである fact18: 仮にこの電子ブックは推戴するなら「このハンドが古過ぎないしさらにそれは古くない」ということは成り立たない fact19: もしこの電子ブックが悲しいならこのハンドは悲しい fact20: 仮にこのハンドが献ぜないかもしくはエア・クリーナーでないかどちらもであるならばこの電子ブックは気持ち良い
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
このハンドは献ぜない
$facts$ = fact1: なにがしかのものが罵るとしたらそれは悲しくない fact2: もしもこの警官隊が古くないとすると罵らないしまたそれは悲しい fact3: もしこの電子ブックがエア・クリーナーであるということはないかあるいは気持ち良くないかあるいは両方ならばこのハンドは献ずる fact4: あのハブ港はエア・クリーナーだということはないかもしくは忍び寄らないかもしくは両方ともだ fact5: この警官隊は暗赤色でないとしたら「それは古過ぎるか推戴しない」ということは成り立たない fact6: この電子ブックはエア・クリーナーでないかあるいはそれは気持ち良くない fact7: 「この電子ブックは献ずる」ということは誤りだということはない fact8: もしもこの警官隊は古くないなら「悲しいが罵らない」ということは偽だ fact9: 仮に「何かは古過ぎなくてそれは古くない」ということは事実と異なるとすると罵る fact10: もしも「この警官隊は古過ぎるかまたは推戴しない」ということは成り立たないなら古くない fact11: もし仮に「この電子ブックは気持ち良くない」ということは事実であるとすればこのハンドは献ずる fact12: もし「この警官隊は悲しい一方で罵らない」ということは間違っていれば悲しくない fact13: この電子ブックはエア・クリーナーでないかそれは気持ち良いか両方ともである fact14: 仮にこの警官隊が罵らないがそれが悲しいならばこの電子ブックは悲しい fact15: なにかは悲しくないとすれば「それは献ずるし更に芽ぐむ」ということは嘘だ fact16: 悲しいということはないものは芽ぐまないし献ぜない fact17: あの血糖上昇は気持ち良いということはないかもしくは日朝国交正常化交渉でないかもしくは両方ともである fact18: 仮にこの電子ブックは推戴するなら「このハンドが古過ぎないしさらにそれは古くない」ということは成り立たない fact19: もしこの電子ブックが悲しいならこのハンドは悲しい fact20: 仮にこのハンドが献ぜないかもしくはエア・クリーナーでないかどちらもであるならばこの電子ブックは気持ち良い ; $hypothesis$ = 「このハンドは献ずる」ということは本当である ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: なにがしかのものが罵るとしたらそれは悲しくない
事実2: もしもこの警官隊が古くないとすると罵らないしまたそれは悲しい
事実3: もしこの電子ブックがエア・クリーナーであるということはないかあるいは気持ち良くないかあるいは両方ならばこのハンドは献ずる
事実4: あのハブ港はエア・クリーナーだということはないかもしくは忍び寄らないかもしくは両方ともだ
事実5: この警官隊は暗赤色でないとしたら「それは古過ぎるか推戴しない」ということは成り立たない
事実6: この電子ブックはエア・クリーナーでないかあるいはそれは気持ち良くない
事実7: 「この電子ブックは献ずる」ということは誤りだということはない
事実8: もしもこの警官隊は古くないなら「悲しいが罵らない」ということは偽だ
事実9: 仮に「何かは古過ぎなくてそれは古くない」ということは事実と異なるとすると罵る
事実10: もしも「この警官隊は古過ぎるかまたは推戴しない」ということは成り立たないなら古くない
事実11: もし仮に「この電子ブックは気持ち良くない」ということは事実であるとすればこのハンドは献ずる
事実12: もし「この警官隊は悲しい一方で罵らない」ということは間違っていれば悲しくない
事実13: この電子ブックはエア・クリーナーでないかそれは気持ち良いか両方ともである
事実14: 仮にこの警官隊が罵らないがそれが悲しいならばこの電子ブックは悲しい
事実15: なにかは悲しくないとすれば「それは献ずるし更に芽ぐむ」ということは嘘だ
事実16: 悲しいということはないものは芽ぐまないし献ぜない
事実17: あの血糖上昇は気持ち良いということはないかもしくは日朝国交正常化交渉でないかもしくは両方ともである
事実18: 仮にこの電子ブックは推戴するなら「このハンドが古過ぎないしさらにそれは古くない」ということは成り立たない
事実19: もしこの電子ブックが悲しいならこのハンドは悲しい
事実20: 仮にこのハンドが献ぜないかもしくはエア・クリーナーでないかどちらもであるならばこの電子ブックは気持ち良い

仮説: 「このハンドは献ずる」ということは本当である
1. 事実3と事実6から、仮説が導かれる

よって、仮説が証明されました。