その棚地造営は例うしかつ荒ぶる
fact1: その棚地造営は例うししかもそれは歯痒い fact2: あの単純Ｘ線は荒ぶる fact3: あのフィッティングは漲る fact4: その棚地造営は漲る fact5: あの事務室はオカルトだが苦々しかない fact6: あの事務室は一人勝ちする fact7: この社会主義者達は漲る fact8: もしもその棚地造営が荒ぶる一方でそれが歯痒くないならあの事務室は歯痒い fact9: もし仮にその棚地造営は荒ぶるけど例うないなら「あの事務室は例う」ということは確かである fact10: 「あの事務室は例う」ということは真実である fact11: あの事務室は漲るがしかし荒ぶるない fact12: その棚地造営は歯痒いし漲る fact13: 仮にとある物は歯痒くないとすると「それは例うしその上荒ぶる」ということは成り立たない fact14: 「あの事務室は極まりないし惑乱する」ということは真実である fact15: もし仮にあの事務室が漲るがしかし荒ぶるないとすればその棚地造営は荒ぶる fact16: あの事務室は歯痒い
fact1 -> int1: その棚地造営は例う; fact11 & fact15 -> int2: その棚地造営は荒ぶる; int1 & int2 -> hypothesis;
fact1 -> int1: {A}{a}; fact11 & fact15 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「その棚地造営は例うし加えて荒ぶる」ということは成り立たない
fact17 -> int3: 仮にその棚地造営は歯痒くないなら「それは例うししかも荒ぶる」ということは誤りだ;
$facts$ = fact1: その棚地造営は例うししかもそれは歯痒い fact2: あの単純Ｘ線は荒ぶる fact3: あのフィッティングは漲る fact4: その棚地造営は漲る fact5: あの事務室はオカルトだが苦々しかない fact6: あの事務室は一人勝ちする fact7: この社会主義者達は漲る fact8: もしもその棚地造営が荒ぶる一方でそれが歯痒くないならあの事務室は歯痒い fact9: もし仮にその棚地造営は荒ぶるけど例うないなら「あの事務室は例う」ということは確かである fact10: 「あの事務室は例う」ということは真実である fact11: あの事務室は漲るがしかし荒ぶるない fact12: その棚地造営は歯痒いし漲る fact13: 仮にとある物は歯痒くないとすると「それは例うしその上荒ぶる」ということは成り立たない fact14: 「あの事務室は極まりないし惑乱する」ということは真実である fact15: もし仮にあの事務室が漲るがしかし荒ぶるないとすればその棚地造営は荒ぶる fact16: あの事務室は歯痒い ; $hypothesis$ = その棚地造営は例うしかつ荒ぶる ; $proof$ = 
fact1 -> int1: その棚地造営は例う; fact11 & fact15 -> int2: その棚地造営は荒ぶる; int1 & int2 -> hypothesis; __PROVED__
事実1: その棚地造営は例うししかもそれは歯痒い
事実2: あの単純Ｘ線は荒ぶる
事実3: あのフィッティングは漲る
事実4: その棚地造営は漲る
事実5: あの事務室はオカルトだが苦々しかない
事実6: あの事務室は一人勝ちする
事実7: この社会主義者達は漲る
事実8: もしもその棚地造営が荒ぶる一方でそれが歯痒くないならあの事務室は歯痒い
事実9: もし仮にその棚地造営は荒ぶるけど例うないなら「あの事務室は例う」ということは確かである
事実10: 「あの事務室は例う」ということは真実である
事実11: あの事務室は漲るがしかし荒ぶるない
事実12: その棚地造営は歯痒いし漲る
事実13: 仮にとある物は歯痒くないとすると「それは例うしその上荒ぶる」ということは成り立たない
事実14: 「あの事務室は極まりないし惑乱する」ということは真実である
事実15: もし仮にあの事務室が漲るがしかし荒ぶるないとすればその棚地造営は荒ぶる
事実16: あの事務室は歯痒い

仮説: その棚地造営は例うしかつ荒ぶる
1. 事実1から、推論1: "その棚地造営は例う"が導かれる
2. 事実11と事実15から、推論2: "その棚地造営は荒ぶる"が導かれる
3. 推論1と推論2から、仮説が導かれる

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