「もしそのリフォーム計画が織り上げるとしたらあの家畜小屋は真ん丸い」ということは成り立たない
fact1: 管理し易くないものは管財人だ fact2: あの消費者数は真ん丸い fact3: 仮にあの家畜小屋が方法上であるかまたは管財人であるかどちらもだとすればそのリフォーム計画は織り上げない fact4: この工業中心は真ん丸くない fact5: あの家畜小屋は面倒臭いということはない fact6: もしも「管財人である」物があるならあの家畜小屋は管財人であるかもしくは織り上げるかあるいは両方ともである fact7: 仮にこの聴解が協力出来るしそれに荒っぽいとするとその志佐村郷土誌は荒っぽくない fact8: 「そのリフォーム計画は得難い」ということは本当だ fact9: もしも何かは方法上でないとするとそれは真ん丸い fact10: この聴解は飼い殺さない fact11: この聴解は荒っぽい fact12: そのリフォーム計画は方法上でない fact13: もしもあの家畜小屋が管財人であるとすればそのリフォーム計画は織り上げない fact14: もしもその志佐村郷土誌は荒っぽくないとすれば「そのリフォーム計画は購入出来るしかつ御戻る」ということは成り立たない fact15: あるものが御戻らないならそれは真ん丸いしその上管財人である fact16: もし「この聴解は飼い殺さない」ということは成り立つなら協力出来るししかも公開す fact17: もし「あの家畜小屋は方法上であるかあるいは管財人であるかもしくは両方ともである」ということは正しいならばあのリフォーム計画は織り上げる fact18: 「ある物は購入出来るしそれは御戻る」ということは事実と異なるとしたら御戻らない fact19: もし仮にそのリフォーム計画が管財人だとするとあの家畜小屋は織り上げる
void -> assump2: 以下のように仮定する。あの家畜小屋は方法上である; assump2 -> int1: あの家畜小屋は方法上であるかまたは管財人であるかもしくは両方ともである; int1 & fact3 -> int2: そのリフォーム計画は織り上げるということはない; void -> assump1: 以下のように仮定する。「そのリフォーム計画は織り上げる」ということは成り立つ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの家畜小屋は方法上でない; fact9 -> int5: もし仮にあの家畜小屋は方法上であるということはないならばそれは真ん丸い; int4 & int5 -> int6: あの家畜小屋は真ん丸い; [assump1] & int6 -> hypothesis;
もし仮にそのリフォーム計画が管理し易いということはないならばそれは管財人だ
fact20 -> hypothesis;
$facts$ = fact1: 管理し易くないものは管財人だ fact2: あの消費者数は真ん丸い fact3: 仮にあの家畜小屋が方法上であるかまたは管財人であるかどちらもだとすればそのリフォーム計画は織り上げない fact4: この工業中心は真ん丸くない fact5: あの家畜小屋は面倒臭いということはない fact6: もしも「管財人である」物があるならあの家畜小屋は管財人であるかもしくは織り上げるかあるいは両方ともである fact7: 仮にこの聴解が協力出来るしそれに荒っぽいとするとその志佐村郷土誌は荒っぽくない fact8: 「そのリフォーム計画は得難い」ということは本当だ fact9: もしも何かは方法上でないとするとそれは真ん丸い fact10: この聴解は飼い殺さない fact11: この聴解は荒っぽい fact12: そのリフォーム計画は方法上でない fact13: もしもあの家畜小屋が管財人であるとすればそのリフォーム計画は織り上げない fact14: もしもその志佐村郷土誌は荒っぽくないとすれば「そのリフォーム計画は購入出来るしかつ御戻る」ということは成り立たない fact15: あるものが御戻らないならそれは真ん丸いしその上管財人である fact16: もし「この聴解は飼い殺さない」ということは成り立つなら協力出来るししかも公開す fact17: もし「あの家畜小屋は方法上であるかあるいは管財人であるかもしくは両方ともである」ということは正しいならばあのリフォーム計画は織り上げる fact18: 「ある物は購入出来るしそれは御戻る」ということは事実と異なるとしたら御戻らない fact19: もし仮にそのリフォーム計画が管財人だとするとあの家畜小屋は織り上げる ; $hypothesis$ = 「もしそのリフォーム計画が織り上げるとしたらあの家畜小屋は真ん丸い」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの家畜小屋は方法上である; assump2 -> int1: あの家畜小屋は方法上であるかまたは管財人であるかもしくは両方ともである; int1 & fact3 -> int2: そのリフォーム計画は織り上げるということはない; void -> assump1: 以下のように仮定する。「そのリフォーム計画は織り上げる」ということは成り立つ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの家畜小屋は方法上でない; fact9 -> int5: もし仮にあの家畜小屋は方法上であるということはないならばそれは真ん丸い; int4 & int5 -> int6: あの家畜小屋は真ん丸い; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 管理し易くないものは管財人だ
事実2: あの消費者数は真ん丸い
事実3: 仮にあの家畜小屋が方法上であるかまたは管財人であるかどちらもだとすればそのリフォーム計画は織り上げない
事実4: この工業中心は真ん丸くない
事実5: あの家畜小屋は面倒臭いということはない
事実6: もしも「管財人である」物があるならあの家畜小屋は管財人であるかもしくは織り上げるかあるいは両方ともである
事実7: 仮にこの聴解が協力出来るしそれに荒っぽいとするとその志佐村郷土誌は荒っぽくない
事実8: 「そのリフォーム計画は得難い」ということは本当だ
事実9: もしも何かは方法上でないとするとそれは真ん丸い
事実10: この聴解は飼い殺さない
事実11: この聴解は荒っぽい
事実12: そのリフォーム計画は方法上でない
事実13: もしもあの家畜小屋が管財人であるとすればそのリフォーム計画は織り上げない
事実14: もしもその志佐村郷土誌は荒っぽくないとすれば「そのリフォーム計画は購入出来るしかつ御戻る」ということは成り立たない
事実15: あるものが御戻らないならそれは真ん丸いしその上管財人である
事実16: もし「この聴解は飼い殺さない」ということは成り立つなら協力出来るししかも公開す
事実17: もし「あの家畜小屋は方法上であるかあるいは管財人であるかもしくは両方ともである」ということは正しいならばあのリフォーム計画は織り上げる
事実18: 「ある物は購入出来るしそれは御戻る」ということは事実と異なるとしたら御戻らない
事実19: もし仮にそのリフォーム計画が管財人だとするとあの家畜小屋は織り上げる

仮説: 「もしそのリフォーム計画が織り上げるとしたらあの家畜小屋は真ん丸い」ということは成り立たない
1. 仮定2: 以下のように仮定する。あの家畜小屋は方法上である
2. 仮定2から、推論1: "あの家畜小屋は方法上であるかまたは管財人であるかもしくは両方ともである"が導かれる
3. 推論1と事実3から、推論2: "そのリフォーム計画は織り上げるということはない"が導かれる
4. 仮定1: 以下のように仮定する。「そのリフォーム計画は織り上げる」ということは成り立つ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "あの家畜小屋は方法上でない"が導かれる
7. 事実9から、推論5: "もし仮にあの家畜小屋は方法上であるということはないならばそれは真ん丸い"が導かれる
8. 推論4と推論5から、推論6: "あの家畜小屋は真ん丸い"が導かれる
9. [仮定1]と推論6から、仮説が否定される

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