あの親夫婦は稚鰤である
fact1: 「あの油井は清くないがしかし可笑しい」ということは間違いだ fact2: 「あの油井は稚鰤でないけれど可笑しい」ということは誤っている fact3: その車体付属品は小気味良くない fact4: あの油井が可笑しいが小気味良いということはないならあの親夫婦は浅ましない fact5: もしあの少女達が清いとするとあの油井は可笑しい fact6: 「あの少女達は小気味良くないけど可笑しい」ということは事実と異なる fact7: 「あの放任は稚鰤でまた恍ける」ということは本当でない fact8: もし何かは浅ましないとしたら稚鰤であるということはない fact9: 「白々しかない」ものはある fact10: 「「あの油井は転地しない」ということは確かだ」ということは成り立つということはない fact11: あの少女達が清くない稚鰤であるとしたらあの親夫婦は稚鰤だ fact12: 清くない物は可笑しくない fact13: あの都市計画法上は今人だ一方で小気味良くない fact14: もしも「なにがしかの物は筋細胞であるということはないがしかしそれは集まり易い」ということは成り立たないとしたら各界だ fact15: あの少女達は小気味良くない fact16: 保障規定はほろ苦い fact17: 「全ては小気味良くない」ということは真実である fact18: ある物がとろいならばそれは化粧する fact19: その車体付属品は来易くない fact20: 仮にその車体付属品が各界であるとすればあの少女達は清い fact21: どれもこれもは湿っぽくない fact22: もし仮にある物は白々しかないとしたら「その車体付属品は筋細胞でない一方で集まり易い」ということは間違いである fact23: 「あの親夫婦は各界だ」ということは成り立つ fact24: もしもとあるものが可笑しくないとするとそれは各界である
fact14 -> int1: もし「「その車体付属品は筋細胞でないが集まり易い」ということは真実である」ということは真実でないとすればそれは各界である; fact9 & fact22 -> int2: 「その車体付属品は筋細胞でないがしかし集まり易い」ということは成り立たない; int1 & int2 -> int3: その車体付属品は各界だ; int3 & fact20 -> int4: あの少女達は清い; int4 & fact5 -> int5: あの油井は可笑しい; fact17 -> int6: あの油井は小気味良くない; int5 & int6 -> int7: あの油井は可笑しいが小気味良くない; int7 & fact4 -> int8: あの親夫婦は浅ましということはない; fact8 -> int9: もしあの親夫婦が浅ましないとすると稚鰤でない; int8 & int9 -> hypothesis;
あの親夫婦は稚鰤だ
$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: もしもとあるものが可笑しくないとするとそれは各界である ; $hypothesis$ = あの親夫婦は稚鰤である ; $proof$ = 
fact14 -> int1: もし「「その車体付属品は筋細胞でないが集まり易い」ということは真実である」ということは真実でないとすればそれは各界である; fact9 & fact22 -> int2: 「その車体付属品は筋細胞でないがしかし集まり易い」ということは成り立たない; int1 & int2 -> int3: その車体付属品は各界だ; int3 & fact20 -> int4: あの少女達は清い; int4 & fact5 -> int5: あの油井は可笑しい; fact17 -> int6: あの油井は小気味良くない; int5 & int6 -> int7: あの油井は可笑しいが小気味良くない; int7 & fact4 -> int8: あの親夫婦は浅ましということはない; fact8 -> int9: もしあの親夫婦が浅ましないとすると稚鰤でない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 「あの油井は清くないがしかし可笑しい」ということは間違いだ
事実2: 「あの油井は稚鰤でないけれど可笑しい」ということは誤っている
事実3: その車体付属品は小気味良くない
事実4: あの油井が可笑しいが小気味良いということはないならあの親夫婦は浅ましない
事実5: もしあの少女達が清いとするとあの油井は可笑しい
事実6: 「あの少女達は小気味良くないけど可笑しい」ということは事実と異なる
事実7: 「あの放任は稚鰤でまた恍ける」ということは本当でない
事実8: もし何かは浅ましないとしたら稚鰤であるということはない
事実9: 「白々しかない」ものはある
事実10: 「「あの油井は転地しない」ということは確かだ」ということは成り立つということはない
事実11: あの少女達が清くない稚鰤であるとしたらあの親夫婦は稚鰤だ
事実12: 清くない物は可笑しくない
事実13: あの都市計画法上は今人だ一方で小気味良くない
事実14: もしも「なにがしかの物は筋細胞であるということはないがしかしそれは集まり易い」ということは成り立たないとしたら各界だ
事実15: あの少女達は小気味良くない
事実16: 保障規定はほろ苦い
事実17: 「全ては小気味良くない」ということは真実である
事実18: ある物がとろいならばそれは化粧する
事実19: その車体付属品は来易くない
事実20: 仮にその車体付属品が各界であるとすればあの少女達は清い
事実21: どれもこれもは湿っぽくない
事実22: もし仮にある物は白々しかないとしたら「その車体付属品は筋細胞でない一方で集まり易い」ということは間違いである
事実23: 「あの親夫婦は各界だ」ということは成り立つ
事実24: もしもとあるものが可笑しくないとするとそれは各界である

仮説: あの親夫婦は稚鰤である
1. 事実14から、推論1: "もし「「その車体付属品は筋細胞でないが集まり易い」ということは真実である」ということは真実でないとすればそれは各界である"が導かれる
2. 事実9と事実22から、推論2: "「その車体付属品は筋細胞でないがしかし集まり易い」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "その車体付属品は各界だ"が導かれる
4. 推論3と事実20から、推論4: "あの少女達は清い"が導かれる
5. 推論4と事実5から、推論5: "あの油井は可笑しい"が導かれる
6. 事実17から、推論6: "あの油井は小気味良くない"が導かれる
7. 推論5と推論6から、推論7: "あの油井は可笑しいが小気味良くない"が導かれる
8. 推論7と事実4から、推論8: "あの親夫婦は浅ましということはない"が導かれる
9. 事実8から、推論9: "もしあの親夫婦が浅ましないとすると稚鰤でない"が導かれる
10. 推論8と推論9から、仮説が否定される

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