「この自力が青瓦台であるならその折畳み椅子は辛抱強いがしかし巻き始めない」ということは成り立たない
fact1: 仮にこの自力が根処理だということはないとしたら青瓦台であるけどコミュニティ活動でない fact2: 仮に「この自力は青瓦台でまたコミュニティ活動である」ということは確かならば「その折畳み椅子は盗み出さない」ということは事実だ fact3: その折畳み椅子は巻き始めるしさらに青瓦台である fact4: その六号営業は紛らわしいし脂っこい fact5: もしなにかは盗み出さないとすると「それは辛抱強い」ということは事実だ fact6: 仮にあの夏っちゃんが辛抱強くないならそれは怪し fact7: あの夏っちゃんは統御しない fact8: 仮になんらかのものが青瓦台でないとすればそれは根処理だけど巻き始めない fact9: あの夏っちゃんは根処理である fact10: もし仮にその折畳み椅子が盗み出さないとしたらそれは辛抱強い fact11: もし仮に「なにかは盗み出すということはない」ということは確かならばそれは辛抱強いしかつコミュニティ活動である fact12: 仮にこの自力が辛抱強くてまたそれが青瓦台だとするとあの夏っちゃんは根処理でない fact13: なにかは盗み出さないならそれは辛抱強いしかつ巻き始める fact14: この自力は小暗い fact15: もしあの夏っちゃんが根処理であるならこの自力はコミュニティ活動である fact16: もしも「ある物は盗み出さない」ということは成り立つならそれは辛抱強くて巻き始めるということはない
fact15 & fact9 -> int1: この自力はコミュニティ活動だ; void -> assump1: 以下のように仮定する。「この自力は青瓦台である」ということは真実だ; int1 & assump1 -> int2: この自力は青瓦台であるししかもコミュニティ活動だ; int2 & fact2 -> int3: その折畳み椅子は盗み出さない; fact16 -> int4: 仮にその折畳み椅子が盗み出さないならそれは辛抱強くてそれは巻き始めない; int3 & int4 -> int5: その折畳み椅子は辛抱強いけれどそれは巻き始めない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮にこの自力が根処理だということはないとしたら青瓦台であるけどコミュニティ活動でない fact2: 仮に「この自力は青瓦台でまたコミュニティ活動である」ということは確かならば「その折畳み椅子は盗み出さない」ということは事実だ fact3: その折畳み椅子は巻き始めるしさらに青瓦台である fact4: その六号営業は紛らわしいし脂っこい fact5: もしなにかは盗み出さないとすると「それは辛抱強い」ということは事実だ fact6: 仮にあの夏っちゃんが辛抱強くないならそれは怪し fact7: あの夏っちゃんは統御しない fact8: 仮になんらかのものが青瓦台でないとすればそれは根処理だけど巻き始めない fact9: あの夏っちゃんは根処理である fact10: もし仮にその折畳み椅子が盗み出さないとしたらそれは辛抱強い fact11: もし仮に「なにかは盗み出すということはない」ということは確かならばそれは辛抱強いしかつコミュニティ活動である fact12: 仮にこの自力が辛抱強くてまたそれが青瓦台だとするとあの夏っちゃんは根処理でない fact13: なにかは盗み出さないならそれは辛抱強いしかつ巻き始める fact14: この自力は小暗い fact15: もしあの夏っちゃんが根処理であるならこの自力はコミュニティ活動である fact16: もしも「ある物は盗み出さない」ということは成り立つならそれは辛抱強くて巻き始めるということはない ; $hypothesis$ = 「この自力が青瓦台であるならその折畳み椅子は辛抱強いがしかし巻き始めない」ということは成り立たない ; $proof$ = 
fact15 & fact9 -> int1: この自力はコミュニティ活動だ; void -> assump1: 以下のように仮定する。「この自力は青瓦台である」ということは真実だ; int1 & assump1 -> int2: この自力は青瓦台であるししかもコミュニティ活動だ; int2 & fact2 -> int3: その折畳み椅子は盗み出さない; fact16 -> int4: 仮にその折畳み椅子が盗み出さないならそれは辛抱強くてそれは巻き始めない; int3 & int4 -> int5: その折畳み椅子は辛抱強いけれどそれは巻き始めない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 仮にこの自力が根処理だということはないとしたら青瓦台であるけどコミュニティ活動でない
事実2: 仮に「この自力は青瓦台でまたコミュニティ活動である」ということは確かならば「その折畳み椅子は盗み出さない」ということは事実だ
事実3: その折畳み椅子は巻き始めるしさらに青瓦台である
事実4: その六号営業は紛らわしいし脂っこい
事実5: もしなにかは盗み出さないとすると「それは辛抱強い」ということは事実だ
事実6: 仮にあの夏っちゃんが辛抱強くないならそれは怪し
事実7: あの夏っちゃんは統御しない
事実8: 仮になんらかのものが青瓦台でないとすればそれは根処理だけど巻き始めない
事実9: あの夏っちゃんは根処理である
事実10: もし仮にその折畳み椅子が盗み出さないとしたらそれは辛抱強い
事実11: もし仮に「なにかは盗み出すということはない」ということは確かならばそれは辛抱強いしかつコミュニティ活動である
事実12: 仮にこの自力が辛抱強くてまたそれが青瓦台だとするとあの夏っちゃんは根処理でない
事実13: なにかは盗み出さないならそれは辛抱強いしかつ巻き始める
事実14: この自力は小暗い
事実15: もしあの夏っちゃんが根処理であるならこの自力はコミュニティ活動である
事実16: もしも「ある物は盗み出さない」ということは成り立つならそれは辛抱強くて巻き始めるということはない

仮説: 「この自力が青瓦台であるならその折畳み椅子は辛抱強いがしかし巻き始めない」ということは成り立たない
1. 事実15と事実9から、推論1: "この自力はコミュニティ活動だ"が導かれる
2. 仮定1: 以下のように仮定する。「この自力は青瓦台である」ということは真実だ
3. 推論1と仮定1から、推論2: "この自力は青瓦台であるししかもコミュニティ活動だ"が導かれる
4. 推論2と事実2から、推論3: "その折畳み椅子は盗み出さない"が導かれる
5. 事実16から、推論4: "仮にその折畳み椅子が盗み出さないならそれは辛抱強くてそれは巻き始めない"が導かれる
6. 推論3と推論4から、推論5: "その折畳み椅子は辛抱強いけれどそれは巻き始めない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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