「なにがしかのものはインフラである」ということは成り立たない
fact1: もしある物が法律学だとしたら放流する fact2: 仮にあるものは法律学でないけれど犯し易いとするとインフラである fact3: 「この徳は法律学でない」ということは成り立つ fact4: あのホット線が秋田県民でないがそれが犯し易いとすると嬉しい fact5: もしもあの太陽エネルギーが放流するならこの徳は放流する fact6: もし仮にあの手形行為が備え付けないけど犯し易いならば建値だ fact7: もし発揮し易くないものが取り掛かり易いとしたら返信する fact8: 「この徳はリアル過ぎる」ということは本当だ fact9: 「仮にこの大関が御詳しくないがしかし法律学であるならばこの大関はジャンパースカートである」ということは偽でない fact10: この徳は因り掛からない fact11: もしもこの徳は犯し易くないがしかし形式化するとすると数箇月程度だ fact12: あの小使室が補充でないけれどリアル過ぎれば固い fact13: この徳は犯し易い
fact3 & fact13 -> int1: この徳は法律学でないが犯し易い; fact2 -> int2: 仮にこの徳は法律学でない一方で犯し易いとすればそれはインフラである; int1 & int2 -> int3: この徳はインフラだ; int3 -> hypothesis;
fact3 & fact13 -> int1: (¬{A}{a} & {B}{a}); fact2 -> int2: (¬{A}{a} & {B}{a}) -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 -> hypothesis;
この徳は放流する
fact14 -> int4: もしも「あの太陽エネルギーは法律学である」ということは成り立つなら放流する;
$facts$ = fact1: もしある物が法律学だとしたら放流する fact2: 仮にあるものは法律学でないけれど犯し易いとするとインフラである fact3: 「この徳は法律学でない」ということは成り立つ fact4: あのホット線が秋田県民でないがそれが犯し易いとすると嬉しい fact5: もしもあの太陽エネルギーが放流するならこの徳は放流する fact6: もし仮にあの手形行為が備え付けないけど犯し易いならば建値だ fact7: もし発揮し易くないものが取り掛かり易いとしたら返信する fact8: 「この徳はリアル過ぎる」ということは本当だ fact9: 「仮にこの大関が御詳しくないがしかし法律学であるならばこの大関はジャンパースカートである」ということは偽でない fact10: この徳は因り掛からない fact11: もしもこの徳は犯し易くないがしかし形式化するとすると数箇月程度だ fact12: あの小使室が補充でないけれどリアル過ぎれば固い fact13: この徳は犯し易い ; $hypothesis$ = 「なにがしかのものはインフラである」ということは成り立たない ; $proof$ = 
fact3 & fact13 -> int1: この徳は法律学でないが犯し易い; fact2 -> int2: 仮にこの徳は法律学でない一方で犯し易いとすればそれはインフラである; int1 & int2 -> int3: この徳はインフラだ; int3 -> hypothesis; __DISPROVED__
事実1: もしある物が法律学だとしたら放流する
事実2: 仮にあるものは法律学でないけれど犯し易いとするとインフラである
事実3: 「この徳は法律学でない」ということは成り立つ
事実4: あのホット線が秋田県民でないがそれが犯し易いとすると嬉しい
事実5: もしもあの太陽エネルギーが放流するならこの徳は放流する
事実6: もし仮にあの手形行為が備え付けないけど犯し易いならば建値だ
事実7: もし発揮し易くないものが取り掛かり易いとしたら返信する
事実8: 「この徳はリアル過ぎる」ということは本当だ
事実9: 「仮にこの大関が御詳しくないがしかし法律学であるならばこの大関はジャンパースカートである」ということは偽でない
事実10: この徳は因り掛からない
事実11: もしもこの徳は犯し易くないがしかし形式化するとすると数箇月程度だ
事実12: あの小使室が補充でないけれどリアル過ぎれば固い
事実13: この徳は犯し易い

仮説: 「なにがしかのものはインフラである」ということは成り立たない
1. 事実3と事実13から、推論1: "この徳は法律学でないが犯し易い"が導かれる
2. 事実2から、推論2: "仮にこの徳は法律学でない一方で犯し易いとすればそれはインフラである"が導かれる
3. 推論1と推論2から、推論3: "この徳はインフラだ"が導かれる
4. 推論3から、仮説が否定される

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