その川原は不明点だ
fact1: もし仮に「その民事訴訟は不明点だ」ということは事実と異ならないとしたらその川原は小煩い fact2: もしも「何かは忝くないし加えてひもじくない」ということは嘘であるとしたらしおらしくない fact3: 仮にあの境躑躅は茶色くてそれに吸収し易いとすれば質物でない fact4: もしもその民事訴訟が小煩いとすればあの川原は不明点である fact5: 仮にあの境躑躅は質物でないとすると「それは忝いということはなくてまたそれはひもじくない」ということは嘘である fact6: 活動し易い物は協力し合えるけれど禍々しかない fact7: そのゴアテックスは小煩い fact8: 「あの境躑躅はしおらしい」ということは成り立たないとしたらその民事訴訟は塩辛くてさらにそれは活動し易い fact9: もしその川原が小煩いならその民事訴訟は不明点である fact10: もし仮にその民事訴訟が禍々しかないとするとその川原は不明点でないし小煩くない fact11: その民事訴訟は小煩い fact12: その民事訴訟は不明点である
fact4 & fact11 -> hypothesis;
fact4 & fact11 -> hypothesis;
その川原は不明点でない
fact16 -> int1: もし「その民事訴訟は活動し易い」ということは成り立てば協力し合えるしそれは禍々しかない; fact18 -> int2: 「あの境躑躅は忝くないしその上それはひもじくない」ということは間違いであるならばしおらしくない;
$facts$ = fact1: もし仮に「その民事訴訟は不明点だ」ということは事実と異ならないとしたらその川原は小煩い fact2: もしも「何かは忝くないし加えてひもじくない」ということは嘘であるとしたらしおらしくない fact3: 仮にあの境躑躅は茶色くてそれに吸収し易いとすれば質物でない fact4: もしもその民事訴訟が小煩いとすればあの川原は不明点である fact5: 仮にあの境躑躅は質物でないとすると「それは忝いということはなくてまたそれはひもじくない」ということは嘘である fact6: 活動し易い物は協力し合えるけれど禍々しかない fact7: そのゴアテックスは小煩い fact8: 「あの境躑躅はしおらしい」ということは成り立たないとしたらその民事訴訟は塩辛くてさらにそれは活動し易い fact9: もしその川原が小煩いならその民事訴訟は不明点である fact10: もし仮にその民事訴訟が禍々しかないとするとその川原は不明点でないし小煩くない fact11: その民事訴訟は小煩い fact12: その民事訴訟は不明点である ; $hypothesis$ = その川原は不明点だ ; $proof$ = 
fact4 & fact11 -> hypothesis; __PROVED__
事実1: もし仮に「その民事訴訟は不明点だ」ということは事実と異ならないとしたらその川原は小煩い
事実2: もしも「何かは忝くないし加えてひもじくない」ということは嘘であるとしたらしおらしくない
事実3: 仮にあの境躑躅は茶色くてそれに吸収し易いとすれば質物でない
事実4: もしもその民事訴訟が小煩いとすればあの川原は不明点である
事実5: 仮にあの境躑躅は質物でないとすると「それは忝いということはなくてまたそれはひもじくない」ということは嘘である
事実6: 活動し易い物は協力し合えるけれど禍々しかない
事実7: そのゴアテックスは小煩い
事実8: 「あの境躑躅はしおらしい」ということは成り立たないとしたらその民事訴訟は塩辛くてさらにそれは活動し易い
事実9: もしその川原が小煩いならその民事訴訟は不明点である
事実10: もし仮にその民事訴訟が禍々しかないとするとその川原は不明点でないし小煩くない
事実11: その民事訴訟は小煩い
事実12: その民事訴訟は不明点である

仮説: その川原は不明点だ
1. 事実4と事実11から、仮説が導かれる

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