「もしあの高校新記録がコーダだとするとこの関係下水道管理者は振り見る」ということは間違っている
fact1: 「あの高校新記録は置き易くないし加えて物々しかない」ということは嘘だとするとこの関係下水道管理者は振り見る fact2: もし仮にとあるものは政府・与党社会保障改革協議会でないとすると「把握し易くないけど振り見る」ということは事実と異なる fact3: あの会葬者が無駄口でないとすればそれは見苦しいということはないかそれは成され易いかもしくは両方だ fact4: 「あの高校新記録は物々しかないし赤しない」ということは誤っている fact5: もし仮に何らかの物が真っ黒いとすればそれは政府・与党社会保障改革協議会でない fact6: もしもあの高校新記録が物々しいとするとこの関係下水道管理者は振り見る fact7: 何らかの物は振り見ないならば「コーダだということはないしおまけにそれは十八世紀であるということはない」ということは偽だ fact8: もし仮にあの高校新記録はコーダだとすれば「置き易いということはないがしかし物々しい」ということは成り立つということはない fact9: もしもあの高校新記録はコーダならば「置き易いということはなくて物々しかない」ということは誤っている fact10: とある物が見苦しいということはないならばそれは真っ黒い fact11: 仮にあの会葬者は見苦しいということはないかまたは成され易いか両方だとするとそれは見苦しくない fact12: もし仮に「何らかの物は把握し易くないがそれは振り見る」ということは成り立つということはないならば振り見ない fact13: 「この関係下水道管理者は振り見ないしその上コーダでない」ということは偽である fact14: もしあの高校新記録は許すとすると「それは継がないし振り見るということはない」ということは間違いだ fact15: 「あの高校新記録は置き易くない一方でそれは物々しい」ということは成り立たない fact16: 仮に「その小規模経済県はごわす」ということは成り立つとしたら「それは悪戦苦闘しないしそれはコーダだということはない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの高校新記録はコーダだ; fact9 & assump1 -> int1: 「あの高校新記録は置き易くないししかもそれは物々しかない」ということは確かでない; int1 & fact1 -> int2: 「この関係下水道管理者は振り見る」ということは本当である; [assump1] & int2 -> hypothesis;
「あの会葬者はコーダでなくてまた十八世紀でない」ということは本当であるということはない
fact21 -> int3: もし仮にあの会葬者は振り見ないなら「それはコーダでないしそれは十八世紀でない」ということは嘘である; fact17 -> int4: もし「あの会葬者は把握し易くないけれどそれは振り見る」ということは成り立たないならばそれは振り見るということはない; fact20 -> int5: もしもあの会葬者は政府・与党社会保障改革協議会でないとすると「把握し易くないし振り見る」ということは成り立たない; fact19 -> int6: 仮にあの会葬者が真っ黒いなら政府・与党社会保障改革協議会でない; fact18 -> int7: あの会葬者は見苦しくないなら「それは真っ黒い」ということは成り立つ;
$facts$ = fact1: 「あの高校新記録は置き易くないし加えて物々しかない」ということは嘘だとするとこの関係下水道管理者は振り見る fact2: もし仮にとあるものは政府・与党社会保障改革協議会でないとすると「把握し易くないけど振り見る」ということは事実と異なる fact3: あの会葬者が無駄口でないとすればそれは見苦しいということはないかそれは成され易いかもしくは両方だ fact4: 「あの高校新記録は物々しかないし赤しない」ということは誤っている fact5: もし仮に何らかの物が真っ黒いとすればそれは政府・与党社会保障改革協議会でない fact6: もしもあの高校新記録が物々しいとするとこの関係下水道管理者は振り見る fact7: 何らかの物は振り見ないならば「コーダだということはないしおまけにそれは十八世紀であるということはない」ということは偽だ fact8: もし仮にあの高校新記録はコーダだとすれば「置き易いということはないがしかし物々しい」ということは成り立つということはない fact9: もしもあの高校新記録はコーダならば「置き易いということはなくて物々しかない」ということは誤っている fact10: とある物が見苦しいということはないならばそれは真っ黒い fact11: 仮にあの会葬者は見苦しいということはないかまたは成され易いか両方だとするとそれは見苦しくない fact12: もし仮に「何らかの物は把握し易くないがそれは振り見る」ということは成り立つということはないならば振り見ない fact13: 「この関係下水道管理者は振り見ないしその上コーダでない」ということは偽である fact14: もしあの高校新記録は許すとすると「それは継がないし振り見るということはない」ということは間違いだ fact15: 「あの高校新記録は置き易くない一方でそれは物々しい」ということは成り立たない fact16: 仮に「その小規模経済県はごわす」ということは成り立つとしたら「それは悪戦苦闘しないしそれはコーダだということはない」ということは成り立たない ; $hypothesis$ = 「もしあの高校新記録がコーダだとするとこの関係下水道管理者は振り見る」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの高校新記録はコーダだ; fact9 & assump1 -> int1: 「あの高校新記録は置き易くないししかもそれは物々しかない」ということは確かでない; int1 & fact1 -> int2: 「この関係下水道管理者は振り見る」ということは本当である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 「あの高校新記録は置き易くないし加えて物々しかない」ということは嘘だとするとこの関係下水道管理者は振り見る
事実2: もし仮にとあるものは政府・与党社会保障改革協議会でないとすると「把握し易くないけど振り見る」ということは事実と異なる
事実3: あの会葬者が無駄口でないとすればそれは見苦しいということはないかそれは成され易いかもしくは両方だ
事実4: 「あの高校新記録は物々しかないし赤しない」ということは誤っている
事実5: もし仮に何らかの物が真っ黒いとすればそれは政府・与党社会保障改革協議会でない
事実6: もしもあの高校新記録が物々しいとするとこの関係下水道管理者は振り見る
事実7: 何らかの物は振り見ないならば「コーダだということはないしおまけにそれは十八世紀であるということはない」ということは偽だ
事実8: もし仮にあの高校新記録はコーダだとすれば「置き易いということはないがしかし物々しい」ということは成り立つということはない
事実9: もしもあの高校新記録はコーダならば「置き易いということはなくて物々しかない」ということは誤っている
事実10: とある物が見苦しいということはないならばそれは真っ黒い
事実11: 仮にあの会葬者は見苦しいということはないかまたは成され易いか両方だとするとそれは見苦しくない
事実12: もし仮に「何らかの物は把握し易くないがそれは振り見る」ということは成り立つということはないならば振り見ない
事実13: 「この関係下水道管理者は振り見ないしその上コーダでない」ということは偽である
事実14: もしあの高校新記録は許すとすると「それは継がないし振り見るということはない」ということは間違いだ
事実15: 「あの高校新記録は置き易くない一方でそれは物々しい」ということは成り立たない
事実16: 仮に「その小規模経済県はごわす」ということは成り立つとしたら「それは悪戦苦闘しないしそれはコーダだということはない」ということは成り立たない

仮説: 「もしあの高校新記録がコーダだとするとこの関係下水道管理者は振り見る」ということは間違っている
1. 仮定1: 以下のように仮定する。あの高校新記録はコーダだ
2. 事実9と仮定1から、推論1: "「あの高校新記録は置き易くないししかもそれは物々しかない」ということは確かでない"が導かれる
3. 推論1と事実1から、推論2: "「この関係下水道管理者は振り見る」ということは本当である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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