「何かは江戸川沿いでしかも危うし」ということは正しいということはない
fact1: もし「「し捲る」ということは真実である」物があるとすればあのリキッドは労労じがそれはリハーサルしない fact2: あの細川内閣はし捲る fact3: 「この進路妨害物は逆光でない」ということは本当だ fact4: 「「三分割しなくてかつ発展型だということはない」ということは事実と異なる」ものはある fact5: 「その輪ゴムは江戸川沿いである」ということは本当だ fact6: もしもあのリキッドが危うしということはないが邪魔臭いとしたらこの進路妨害物は邪魔臭い fact7: この次時はリハーサルする fact8: もし労労じものがリハーサルしないとすればそれは江戸川沿いだ fact9: この進路妨害物はリハーサルする fact10: もしもこの進路妨害物がリハーサルするとすると危うし fact11: 仮になんらかの物が習い覚えれば祖父母世代である fact12: 「「江戸川沿いである」物はある」ということは真実だ fact13: もし仮に「「三分割しないしおまけに発展型でない」ということは誤りである」ものがあるならこの進路妨害物は江戸川沿いだ fact14: 仮にこの進路妨害物は逆光でないならば習い覚えるし更に把捉する
fact4 & fact13 -> int1: この進路妨害物は江戸川沿いだ; fact9 & fact10 -> int2: この進路妨害物は危うし; int1 & int2 -> int3: この進路妨害物は江戸川沿いでおまけに危うし; int3 -> hypothesis;
fact4 & fact13 -> int1: {A}{a}; fact9 & fact10 -> int2: {B}{a}; int1 & int2 -> int3: ({A}{a} & {B}{a}); int3 -> hypothesis;
何らかの物は祖父母世代で更に邪魔臭い
fact16 -> int4: もしも「この進路妨害物は習い覚える」ということは成り立つとすればそれは祖父母世代である; fact21 & fact18 -> int5: この進路妨害物は習い覚えるしさらに把捉する; int5 -> int6: この進路妨害物は習い覚える; int4 & int6 -> int7: この進路妨害物は祖父母世代だ; fact17 -> int8: もしもあのリキッドは労労じけれどリハーサルしないとすれば江戸川沿いである; fact15 -> int9: とあるものはし捲る; int9 & fact19 -> int10: あのリキッドは労労じがリハーサルしない; int8 & int10 -> int11: あのリキッドは江戸川沿いである;
$facts$ = fact1: もし「「し捲る」ということは真実である」物があるとすればあのリキッドは労労じがそれはリハーサルしない fact2: あの細川内閣はし捲る fact3: 「この進路妨害物は逆光でない」ということは本当だ fact4: 「「三分割しなくてかつ発展型だということはない」ということは事実と異なる」ものはある fact5: 「その輪ゴムは江戸川沿いである」ということは本当だ fact6: もしもあのリキッドが危うしということはないが邪魔臭いとしたらこの進路妨害物は邪魔臭い fact7: この次時はリハーサルする fact8: もし労労じものがリハーサルしないとすればそれは江戸川沿いだ fact9: この進路妨害物はリハーサルする fact10: もしもこの進路妨害物がリハーサルするとすると危うし fact11: 仮になんらかの物が習い覚えれば祖父母世代である fact12: 「「江戸川沿いである」物はある」ということは真実だ fact13: もし仮に「「三分割しないしおまけに発展型でない」ということは誤りである」ものがあるならこの進路妨害物は江戸川沿いだ fact14: 仮にこの進路妨害物は逆光でないならば習い覚えるし更に把捉する ; $hypothesis$ = 「何かは江戸川沿いでしかも危うし」ということは正しいということはない ; $proof$ = 
fact4 & fact13 -> int1: この進路妨害物は江戸川沿いだ; fact9 & fact10 -> int2: この進路妨害物は危うし; int1 & int2 -> int3: この進路妨害物は江戸川沿いでおまけに危うし; int3 -> hypothesis; __DISPROVED__
事実1: もし「「し捲る」ということは真実である」物があるとすればあのリキッドは労労じがそれはリハーサルしない
事実2: あの細川内閣はし捲る
事実3: 「この進路妨害物は逆光でない」ということは本当だ
事実4: 「「三分割しなくてかつ発展型だということはない」ということは事実と異なる」ものはある
事実5: 「その輪ゴムは江戸川沿いである」ということは本当だ
事実6: もしもあのリキッドが危うしということはないが邪魔臭いとしたらこの進路妨害物は邪魔臭い
事実7: この次時はリハーサルする
事実8: もし労労じものがリハーサルしないとすればそれは江戸川沿いだ
事実9: この進路妨害物はリハーサルする
事実10: もしもこの進路妨害物がリハーサルするとすると危うし
事実11: 仮になんらかの物が習い覚えれば祖父母世代である
事実12: 「「江戸川沿いである」物はある」ということは真実だ
事実13: もし仮に「「三分割しないしおまけに発展型でない」ということは誤りである」ものがあるならこの進路妨害物は江戸川沿いだ
事実14: 仮にこの進路妨害物は逆光でないならば習い覚えるし更に把捉する

仮説: 「何かは江戸川沿いでしかも危うし」ということは正しいということはない
1. 事実4と事実13から、推論1: "この進路妨害物は江戸川沿いだ"が導かれる
2. 事実9と事実10から、推論2: "この進路妨害物は危うし"が導かれる
3. 推論1と推論2から、推論3: "この進路妨害物は江戸川沿いでおまけに危うし"が導かれる
4. 推論3から、仮説が否定される

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