あの藁屋根は譲り渡す
fact1: もしなにがしかの物は噂するしそれに蝶形であるとすればそれは譲り渡さない fact2: とある物は再発防止対策である fact3: なにかは会社設立であるとすれば二千株以上でない fact4: あの鷲掴みは膨潤する fact5: もし仮にあの鷲掴みが蝶形でないとするとあの藁屋根は噂するということはないかまたは二千株以上であるかあるいは両方である fact6: あの鷲掴みは会社設立だということはない fact7: あの藁屋根は現行でない fact8: 「あの鷲掴みは譲り渡す一方でそれは生臭くない」ということは偽である fact9: あの鷲掴みが準備だということはないけど二千株以上であるならばあの藁屋根は二千株以上だ fact10: あの藁屋根は蝶形で情けない fact11: もしも「ある物は強化出来るということはないかあるいは情けないかもしくは両方である」ということは本当でないならば準備でない fact12: もし仮に何かは準備でないとすると「蝶形であるし膨潤しない」ということは事実と異なる fact13: 仮に「ある物は蝶形である一方で膨潤しない」ということは誤りなら蝶形だということはない fact14: 「なにがしかのものは会社設立でなくて急場凌ぎでない」ということは間違いならばそれは二千株以上でない fact15: もし仮にあの鷲掴みが膨潤するなら準備でなくてかつ二千株以上である fact16: 仮にあの藁屋根は急場凌ぎでないとしたら噂する fact17: あの鷲掴みが膨潤するとすればそれは二千株以上である fact18: この総合雑誌は急場凌ぎだ fact19: 「あの鷲掴みは口煩くない」ということは成り立つ
fact14 -> int1: もし「あの藁屋根は会社設立であるということはなくてまた急場凌ぎであるということはない」ということは偽であるとすると二千株以上でない; void -> assump1: 以下のように仮定する。「あの藁屋根は会社設立でないしおまけに急場凌ぎであるということはない」ということは誤りである; int1 & assump1 -> int2: あの藁屋根は二千株以上でない; fact4 & fact15 -> int3: あの鷲掴みは準備でないが二千株以上だ; int3 & fact9 -> int4: あの藁屋根は二千株以上だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの藁屋根は会社設立でないしその上それは急場凌ぎでない; int6 -> int7: あの藁屋根は急場凌ぎでない; int7 & fact16 -> int8: あの藁屋根は噂する; fact10 -> int9: あの藁屋根は蝶形だ; int8 & int9 -> int10: あの藁屋根は噂するしそれに蝶形だ; fact1 -> int11: 仮にあの藁屋根が噂するしかつそれは蝶形であるとしたら譲り渡さない; int10 & int11 -> hypothesis;
あの藁屋根は譲り渡す
fact24 -> int12: 「あの鷲掴みは蝶形であるけど膨潤するということはない」ということは事実と異なるならそれは蝶形でない; fact21 -> int13: 仮にあの鷲掴みは準備でないならば「蝶形だしおまけに膨潤しない」ということは正しくない; fact23 -> int14: もし仮に「あの鷲掴みは強化出来ないかあるいはそれは情けないかまたは両方だ」ということは間違っているとしたら準備でない;
$facts$ = fact1: もしなにがしかの物は噂するしそれに蝶形であるとすればそれは譲り渡さない fact2: とある物は再発防止対策である fact3: なにかは会社設立であるとすれば二千株以上でない fact4: あの鷲掴みは膨潤する fact5: もし仮にあの鷲掴みが蝶形でないとするとあの藁屋根は噂するということはないかまたは二千株以上であるかあるいは両方である fact6: あの鷲掴みは会社設立だということはない fact7: あの藁屋根は現行でない fact8: 「あの鷲掴みは譲り渡す一方でそれは生臭くない」ということは偽である fact9: あの鷲掴みが準備だということはないけど二千株以上であるならばあの藁屋根は二千株以上だ fact10: あの藁屋根は蝶形で情けない fact11: もしも「ある物は強化出来るということはないかあるいは情けないかもしくは両方である」ということは本当でないならば準備でない fact12: もし仮に何かは準備でないとすると「蝶形であるし膨潤しない」ということは事実と異なる fact13: 仮に「ある物は蝶形である一方で膨潤しない」ということは誤りなら蝶形だということはない fact14: 「なにがしかのものは会社設立でなくて急場凌ぎでない」ということは間違いならばそれは二千株以上でない fact15: もし仮にあの鷲掴みが膨潤するなら準備でなくてかつ二千株以上である fact16: 仮にあの藁屋根は急場凌ぎでないとしたら噂する fact17: あの鷲掴みが膨潤するとすればそれは二千株以上である fact18: この総合雑誌は急場凌ぎだ fact19: 「あの鷲掴みは口煩くない」ということは成り立つ ; $hypothesis$ = あの藁屋根は譲り渡す ; $proof$ = 
fact14 -> int1: もし「あの藁屋根は会社設立であるということはなくてまた急場凌ぎであるということはない」ということは偽であるとすると二千株以上でない; void -> assump1: 以下のように仮定する。「あの藁屋根は会社設立でないしおまけに急場凌ぎであるということはない」ということは誤りである; int1 & assump1 -> int2: あの藁屋根は二千株以上でない; fact4 & fact15 -> int3: あの鷲掴みは準備でないが二千株以上だ; int3 & fact9 -> int4: あの藁屋根は二千株以上だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの藁屋根は会社設立でないしその上それは急場凌ぎでない; int6 -> int7: あの藁屋根は急場凌ぎでない; int7 & fact16 -> int8: あの藁屋根は噂する; fact10 -> int9: あの藁屋根は蝶形だ; int8 & int9 -> int10: あの藁屋根は噂するしそれに蝶形だ; fact1 -> int11: 仮にあの藁屋根が噂するしかつそれは蝶形であるとしたら譲り渡さない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物は噂するしそれに蝶形であるとすればそれは譲り渡さない
事実2: とある物は再発防止対策である
事実3: なにかは会社設立であるとすれば二千株以上でない
事実4: あの鷲掴みは膨潤する
事実5: もし仮にあの鷲掴みが蝶形でないとするとあの藁屋根は噂するということはないかまたは二千株以上であるかあるいは両方である
事実6: あの鷲掴みは会社設立だということはない
事実7: あの藁屋根は現行でない
事実8: 「あの鷲掴みは譲り渡す一方でそれは生臭くない」ということは偽である
事実9: あの鷲掴みが準備だということはないけど二千株以上であるならばあの藁屋根は二千株以上だ
事実10: あの藁屋根は蝶形で情けない
事実11: もしも「ある物は強化出来るということはないかあるいは情けないかもしくは両方である」ということは本当でないならば準備でない
事実12: もし仮に何かは準備でないとすると「蝶形であるし膨潤しない」ということは事実と異なる
事実13: 仮に「ある物は蝶形である一方で膨潤しない」ということは誤りなら蝶形だということはない
事実14: 「なにがしかのものは会社設立でなくて急場凌ぎでない」ということは間違いならばそれは二千株以上でない
事実15: もし仮にあの鷲掴みが膨潤するなら準備でなくてかつ二千株以上である
事実16: 仮にあの藁屋根は急場凌ぎでないとしたら噂する
事実17: あの鷲掴みが膨潤するとすればそれは二千株以上である
事実18: この総合雑誌は急場凌ぎだ
事実19: 「あの鷲掴みは口煩くない」ということは成り立つ

仮説: あの藁屋根は譲り渡す
1. 事実14から、推論1: "もし「あの藁屋根は会社設立であるということはなくてまた急場凌ぎであるということはない」ということは偽であるとすると二千株以上でない"が導かれる
2. 仮定1: 以下のように仮定する。「あの藁屋根は会社設立でないしおまけに急場凌ぎであるということはない」ということは誤りである
3. 推論1と仮定1から、推論2: "あの藁屋根は二千株以上でない"が導かれる
4. 事実4と事実15から、推論3: "あの鷲掴みは準備でないが二千株以上だ"が導かれる
5. 推論3と事実9から、推論4: "あの藁屋根は二千株以上だ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの藁屋根は会社設立でないしその上それは急場凌ぎでない"が導かれる
8. 推論6から、推論7: "あの藁屋根は急場凌ぎでない"が導かれる
9. 推論7と事実16から、推論8: "あの藁屋根は噂する"が導かれる
10. 事実10から、推論9: "あの藁屋根は蝶形だ"が導かれる
11. 推論8と推論9から、推論10: "あの藁屋根は噂するしそれに蝶形だ"が導かれる
12. 事実1から、推論11: "仮にあの藁屋根が噂するしかつそれは蝶形であるとしたら譲り渡さない"が導かれる
13. 推論10と推論11から、仮説が否定される

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