その雷電は物欲しいがしかし本人確認資料でない
fact1: 「脱穀機でない」ものはある fact2: もしなにがしかの物は本人確認資料であるとすると「意地悪い」ということは事実と異ならない fact3: 仮にこの第十戦隊は意地悪いなら「あの宝塚記念は本人確認資料である」ということは成り立つ fact4: もし何かはエロ本でないかもしくは御困らないかあるいは両方ともならばそれは上昇し易い fact5: 「本人確認資料であるということはない」ものはあるとしたら「あの宝塚記念は脱穀機でないけれどそれは本人確認資料だ」ということは成り立たない fact6: 仮に「本人確認資料だということはない」ものはあるとすれば「あの宝塚記念は意地悪くないがしかし本人確認資料だ」ということは事実だということはない fact7: 仮に「あの宝塚記念は本人確認資料でない」ということは成り立たないとしたら「その雷電は物欲しいが本人確認資料でない」ということは成り立たない fact8: もし仮に「とある物は頑是無くないがしかし脱穀機である」ということは間違いならば意地悪い fact9: その雷電は物欲しい fact10: もし仮に「そのフィアンセは上昇し易い」ということは間違いでないならば意地悪くないししかも本人確認資料である fact11: もし仮にとあるものは脱穀機でないならば「この第十戦隊は頑是無くないけれど脱穀機である」ということは嘘だ fact12: この第十戦隊は砂糖壺だ fact13: あの宝塚記念は頑是無い fact14: もし意地悪くないものは本人確認資料であるとするとそれは物欲しい fact15: 仮にその雷電は頑是無いとすると「この第十戦隊は本人確認資料であるが頑是無くない」ということは間違いだ
fact8 -> int1: 仮に「この第十戦隊は頑是無くないけど脱穀機だ」ということは成り立つということはないとしたら意地悪い; fact1 & fact11 -> int2: 「この第十戦隊は頑是無くないが脱穀機だ」ということは成り立たない; int1 & int2 -> int3: この第十戦隊は意地悪い; int3 & fact3 -> int4: あの宝塚記念は本人確認資料だ; int4 & fact7 -> hypothesis;
その雷電は物欲しいが本人確認資料でない
$facts$ = fact1: 「脱穀機でない」ものはある fact2: もしなにがしかの物は本人確認資料であるとすると「意地悪い」ということは事実と異ならない fact3: 仮にこの第十戦隊は意地悪いなら「あの宝塚記念は本人確認資料である」ということは成り立つ fact4: もし何かはエロ本でないかもしくは御困らないかあるいは両方ともならばそれは上昇し易い fact5: 「本人確認資料であるということはない」ものはあるとしたら「あの宝塚記念は脱穀機でないけれどそれは本人確認資料だ」ということは成り立たない fact6: 仮に「本人確認資料だということはない」ものはあるとすれば「あの宝塚記念は意地悪くないがしかし本人確認資料だ」ということは事実だということはない fact7: 仮に「あの宝塚記念は本人確認資料でない」ということは成り立たないとしたら「その雷電は物欲しいが本人確認資料でない」ということは成り立たない fact8: もし仮に「とある物は頑是無くないがしかし脱穀機である」ということは間違いならば意地悪い fact9: その雷電は物欲しい fact10: もし仮に「そのフィアンセは上昇し易い」ということは間違いでないならば意地悪くないししかも本人確認資料である fact11: もし仮にとあるものは脱穀機でないならば「この第十戦隊は頑是無くないけれど脱穀機である」ということは嘘だ fact12: この第十戦隊は砂糖壺だ fact13: あの宝塚記念は頑是無い fact14: もし意地悪くないものは本人確認資料であるとするとそれは物欲しい fact15: 仮にその雷電は頑是無いとすると「この第十戦隊は本人確認資料であるが頑是無くない」ということは間違いだ ; $hypothesis$ = その雷電は物欲しいがしかし本人確認資料でない ; $proof$ = 
fact8 -> int1: 仮に「この第十戦隊は頑是無くないけど脱穀機だ」ということは成り立つということはないとしたら意地悪い; fact1 & fact11 -> int2: 「この第十戦隊は頑是無くないが脱穀機だ」ということは成り立たない; int1 & int2 -> int3: この第十戦隊は意地悪い; int3 & fact3 -> int4: あの宝塚記念は本人確認資料だ; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 「脱穀機でない」ものはある
事実2: もしなにがしかの物は本人確認資料であるとすると「意地悪い」ということは事実と異ならない
事実3: 仮にこの第十戦隊は意地悪いなら「あの宝塚記念は本人確認資料である」ということは成り立つ
事実4: もし何かはエロ本でないかもしくは御困らないかあるいは両方ともならばそれは上昇し易い
事実5: 「本人確認資料であるということはない」ものはあるとしたら「あの宝塚記念は脱穀機でないけれどそれは本人確認資料だ」ということは成り立たない
事実6: 仮に「本人確認資料だということはない」ものはあるとすれば「あの宝塚記念は意地悪くないがしかし本人確認資料だ」ということは事実だということはない
事実7: 仮に「あの宝塚記念は本人確認資料でない」ということは成り立たないとしたら「その雷電は物欲しいが本人確認資料でない」ということは成り立たない
事実8: もし仮に「とある物は頑是無くないがしかし脱穀機である」ということは間違いならば意地悪い
事実9: その雷電は物欲しい
事実10: もし仮に「そのフィアンセは上昇し易い」ということは間違いでないならば意地悪くないししかも本人確認資料である
事実11: もし仮にとあるものは脱穀機でないならば「この第十戦隊は頑是無くないけれど脱穀機である」ということは嘘だ
事実12: この第十戦隊は砂糖壺だ
事実13: あの宝塚記念は頑是無い
事実14: もし意地悪くないものは本人確認資料であるとするとそれは物欲しい
事実15: 仮にその雷電は頑是無いとすると「この第十戦隊は本人確認資料であるが頑是無くない」ということは間違いだ

仮説: その雷電は物欲しいがしかし本人確認資料でない
1. 事実8から、推論1: "仮に「この第十戦隊は頑是無くないけど脱穀機だ」ということは成り立つということはないとしたら意地悪い"が導かれる
2. 事実1と事実11から、推論2: "「この第十戦隊は頑是無くないが脱穀機だ」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "この第十戦隊は意地悪い"が導かれる
4. 推論3と事実3から、推論4: "あの宝塚記念は本人確認資料だ"が導かれる
5. 推論4と事実7から、仮説が否定される

よって、仮説が否定されました。