このシナ屋は邪魔臭いしまたリサイクルする
fact1: あのＳＰＯＮＤＹは素早いしまた細い fact2: もしもあるものがリサイクルしないとしたら苛め捲るしその上邪魔臭い fact3: もしなにがしかの物はたどたどしいなら「割り引きでないかもしくは荘園経営だ」ということは嘘だ fact4: なんらかのものは素早い fact5: もしもその舎房が苛め捲らないとするとこのシナ屋は邪魔臭くて割り引きだ fact6: もしもなにがしかの物がたどたどしいとしたらこのシナ屋はリサイクルする fact7: あのＳＰＯＮＤＹは素早い fact8: もしもその舎房が苛め捲るとしたらそれは荘園経営だ fact9: その心療内科は描き出しないか一変するかもしくはどちらもだ fact10: 仮になんらかの物が素早くてまたそれが細いとすればあのビジネスチャンスはたどたどしい fact11: もしもその舎房が苛め捲らないとするとこのシナ屋は割り引きだ fact12: 全ては晴々しない fact13: 何もかもは荘園経営でない fact14: もしなにがしかのものは苛め捲らないとすると「邪魔臭くてそれはリサイクルする」ということは誤りだ fact15: このシナ屋は割り引きである fact16: なんらかの物は水草でないなら手緩いということはない fact17: 「描き出すということはないかまたは一変するかもしくは両方である」ものがあるとすればあの拍車は台記号であるということはない fact18: 仮にあのビジネスチャンスが手緩くないならその舎房は公共空間でない fact19: 「細い」ものはある fact20: 仮にその拍車が台記号でないとしたらあのＳＰＯＮＤＹは押し込むかもしくは水草だ fact21: このシナ屋は任意後見人である fact22: もし何らかのものは公共空間でないなら「それは素早くないけど細い」ということは間違っている fact23: もし「「苛め捲る」ということは成り立つ」物はあるとしたら「「その舎房は割り引きであるけれどそれは荘園経営でない」ということは間違っている」ということは成り立つ fact24: 仮にあのＳＰＯＮＤＹが押し込むとすればあのビジネスチャンスは水草でない fact25: あのＳＰＯＮＤＹが水草だとするとあのビジネスチャンスは水草でない
void -> assump1: 以下のように仮定する。その舎房は苛め捲る; fact8 & assump1 -> int1: その舎房は荘園経営である; fact13 -> int2: その舎房は荘園経営でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その舎房は苛め捲らない; int4 & fact5 -> int5: このシナ屋は邪魔臭いししかも割り引きである; int5 -> int6: このシナ屋は邪魔臭い; fact1 -> int7: 「素早くてそれに細い」物はある; int7 & fact10 -> int8: あのビジネスチャンスはたどたどしい; int8 -> int9: 「「たどたどしい」ということは成り立つ」物はある; fact6 & int9 -> int10: このシナ屋はリサイクルする; int6 & int10 -> hypothesis;
「このシナ屋は邪魔臭いしそれはリサイクルする」ということは嘘である
fact26 -> int11: 仮にこのシナ屋は苛め捲らないなら「邪魔臭くてリサイクルする」ということは偽だ; fact34 -> int12: もし「その舎房はたどたどしい」ということは事実であるとすれば「それは割り引きでないかあるいは荘園経営であるかまたは両方ともである」ということは事実と異なる; fact31 -> int13: もし「その舎房は公共空間でない」ということは正しいならば「それは素早くなくてしかもそれは細い」ということは間違いだ; fact29 -> int14: もし仮にあのビジネスチャンスは水草でないとすると手緩いということはない; fact28 -> int15: 「描き出しないかまたは一変する」ものはある; int15 & fact33 -> int16: 「その拍車は台記号である」ということは間違いだ; fact27 & int16 -> int17: あのＳＰＯＮＤＹは押し込むかもしくは水草である; int17 & fact32 & fact30 -> int18: 「あのビジネスチャンスは水草だということはない」ということは真実だ; int14 & int18 -> int19: あのビジネスチャンスは手緩くない; fact35 & int19 -> int20: その舎房は公共空間だということはない; int13 & int20 -> int21: 「その舎房は素早いということはない一方で細い」ということは成り立たない;
$facts$ = fact1: あのＳＰＯＮＤＹは素早いしまた細い fact2: もしもあるものがリサイクルしないとしたら苛め捲るしその上邪魔臭い fact3: もしなにがしかの物はたどたどしいなら「割り引きでないかもしくは荘園経営だ」ということは嘘だ fact4: なんらかのものは素早い fact5: もしもその舎房が苛め捲らないとするとこのシナ屋は邪魔臭くて割り引きだ fact6: もしもなにがしかの物がたどたどしいとしたらこのシナ屋はリサイクルする fact7: あのＳＰＯＮＤＹは素早い fact8: もしもその舎房が苛め捲るとしたらそれは荘園経営だ fact9: その心療内科は描き出しないか一変するかもしくはどちらもだ fact10: 仮になんらかの物が素早くてまたそれが細いとすればあのビジネスチャンスはたどたどしい fact11: もしもその舎房が苛め捲らないとするとこのシナ屋は割り引きだ fact12: 全ては晴々しない fact13: 何もかもは荘園経営でない fact14: もしなにがしかのものは苛め捲らないとすると「邪魔臭くてそれはリサイクルする」ということは誤りだ fact15: このシナ屋は割り引きである fact16: なんらかの物は水草でないなら手緩いということはない fact17: 「描き出すということはないかまたは一変するかもしくは両方である」ものがあるとすればあの拍車は台記号であるということはない fact18: 仮にあのビジネスチャンスが手緩くないならその舎房は公共空間でない fact19: 「細い」ものはある fact20: 仮にその拍車が台記号でないとしたらあのＳＰＯＮＤＹは押し込むかもしくは水草だ fact21: このシナ屋は任意後見人である fact22: もし何らかのものは公共空間でないなら「それは素早くないけど細い」ということは間違っている fact23: もし「「苛め捲る」ということは成り立つ」物はあるとしたら「「その舎房は割り引きであるけれどそれは荘園経営でない」ということは間違っている」ということは成り立つ fact24: 仮にあのＳＰＯＮＤＹが押し込むとすればあのビジネスチャンスは水草でない fact25: あのＳＰＯＮＤＹが水草だとするとあのビジネスチャンスは水草でない ; $hypothesis$ = このシナ屋は邪魔臭いしまたリサイクルする ; $proof$ = 
void -> assump1: 以下のように仮定する。その舎房は苛め捲る; fact8 & assump1 -> int1: その舎房は荘園経営である; fact13 -> int2: その舎房は荘園経営でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その舎房は苛め捲らない; int4 & fact5 -> int5: このシナ屋は邪魔臭いししかも割り引きである; int5 -> int6: このシナ屋は邪魔臭い; fact1 -> int7: 「素早くてそれに細い」物はある; int7 & fact10 -> int8: あのビジネスチャンスはたどたどしい; int8 -> int9: 「「たどたどしい」ということは成り立つ」物はある; fact6 & int9 -> int10: このシナ屋はリサイクルする; int6 & int10 -> hypothesis; __PROVED__
事実1: あのＳＰＯＮＤＹは素早いしまた細い
事実2: もしもあるものがリサイクルしないとしたら苛め捲るしその上邪魔臭い
事実3: もしなにがしかの物はたどたどしいなら「割り引きでないかもしくは荘園経営だ」ということは嘘だ
事実4: なんらかのものは素早い
事実5: もしもその舎房が苛め捲らないとするとこのシナ屋は邪魔臭くて割り引きだ
事実6: もしもなにがしかの物がたどたどしいとしたらこのシナ屋はリサイクルする
事実7: あのＳＰＯＮＤＹは素早い
事実8: もしもその舎房が苛め捲るとしたらそれは荘園経営だ
事実9: その心療内科は描き出しないか一変するかもしくはどちらもだ
事実10: 仮になんらかの物が素早くてまたそれが細いとすればあのビジネスチャンスはたどたどしい
事実11: もしもその舎房が苛め捲らないとするとこのシナ屋は割り引きだ
事実12: 全ては晴々しない
事実13: 何もかもは荘園経営でない
事実14: もしなにがしかのものは苛め捲らないとすると「邪魔臭くてそれはリサイクルする」ということは誤りだ
事実15: このシナ屋は割り引きである
事実16: なんらかの物は水草でないなら手緩いということはない
事実17: 「描き出すということはないかまたは一変するかもしくは両方である」ものがあるとすればあの拍車は台記号であるということはない
事実18: 仮にあのビジネスチャンスが手緩くないならその舎房は公共空間でない
事実19: 「細い」ものはある
事実20: 仮にその拍車が台記号でないとしたらあのＳＰＯＮＤＹは押し込むかもしくは水草だ
事実21: このシナ屋は任意後見人である
事実22: もし何らかのものは公共空間でないなら「それは素早くないけど細い」ということは間違っている
事実23: もし「「苛め捲る」ということは成り立つ」物はあるとしたら「「その舎房は割り引きであるけれどそれは荘園経営でない」ということは間違っている」ということは成り立つ
事実24: 仮にあのＳＰＯＮＤＹが押し込むとすればあのビジネスチャンスは水草でない
事実25: あのＳＰＯＮＤＹが水草だとするとあのビジネスチャンスは水草でない

仮説: このシナ屋は邪魔臭いしまたリサイクルする
1. 仮定1: 以下のように仮定する。その舎房は苛め捲る
2. 事実8と仮定1から、推論1: "その舎房は荘園経営である"が導かれる
3. 事実13から、推論2: "その舎房は荘園経営でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その舎房は苛め捲らない"が導かれる
6. 推論4と事実5から、推論5: "このシナ屋は邪魔臭いししかも割り引きである"が導かれる
7. 推論5から、推論6: "このシナ屋は邪魔臭い"が導かれる
8. 事実1から、推論7: "「素早くてそれに細い」物はある"が導かれる
9. 推論7と事実10から、推論8: "あのビジネスチャンスはたどたどしい"が導かれる
10. 推論8から、推論9: "「「たどたどしい」ということは成り立つ」物はある"が導かれる
11. 事実6と推論9から、推論10: "このシナ屋はリサイクルする"が導かれる
12. 推論6と推論10から、仮説が導かれる

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