「この真空地帯は見切らないけどちっちゃい」ということは間違いでない
fact1: もしもその嫁姑が注文出来れば口絵イラストである fact2: もしもその嫁姑は見切るとしたら「この真空地帯は見切らない一方でちっちゃい」ということは偽だ fact3: もし仮にこの真空地帯が手早いとすればそれはちっちゃい fact4: 口絵イラストはドライブパスだ fact5: その嫁姑は注文出来る fact6: その頚椎は手早い fact7: その嫁姑が手早いならば見切る fact8: その嫁姑は手早い fact9: ドライブパスはちっちゃくなくて行儀良くない
fact7 & fact8 -> int1: その嫁姑は見切る; int1 & fact2 -> hypothesis;
このＥＣＰは見切る
fact12 -> int2: その嫁姑はドライブパスであるとするとちっちゃくなくて更にそれは行儀良くない; fact10 -> int3: もし仮にその嫁姑は口絵イラストであるならばドライブパスである; fact13 & fact11 -> int4: その嫁姑は口絵イラストである; int3 & int4 -> int5: 「その嫁姑はドライブパスだ」ということは偽でない; int2 & int5 -> int6: その嫁姑はちっちゃくないしそれは行儀良くない; int6 -> int7: その嫁姑は行儀良いということはない; int7 -> int8: ある物は行儀良いということはない;
$facts$ = fact1: もしもその嫁姑が注文出来れば口絵イラストである fact2: もしもその嫁姑は見切るとしたら「この真空地帯は見切らない一方でちっちゃい」ということは偽だ fact3: もし仮にこの真空地帯が手早いとすればそれはちっちゃい fact4: 口絵イラストはドライブパスだ fact5: その嫁姑は注文出来る fact6: その頚椎は手早い fact7: その嫁姑が手早いならば見切る fact8: その嫁姑は手早い fact9: ドライブパスはちっちゃくなくて行儀良くない ; $hypothesis$ = 「この真空地帯は見切らないけどちっちゃい」ということは間違いでない ; $proof$ = 
fact7 & fact8 -> int1: その嫁姑は見切る; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもその嫁姑が注文出来れば口絵イラストである
事実2: もしもその嫁姑は見切るとしたら「この真空地帯は見切らない一方でちっちゃい」ということは偽だ
事実3: もし仮にこの真空地帯が手早いとすればそれはちっちゃい
事実4: 口絵イラストはドライブパスだ
事実5: その嫁姑は注文出来る
事実6: その頚椎は手早い
事実7: その嫁姑が手早いならば見切る
事実8: その嫁姑は手早い
事実9: ドライブパスはちっちゃくなくて行儀良くない

仮説: 「この真空地帯は見切らないけどちっちゃい」ということは間違いでない
1. 事実7と事実8から、推論1: "その嫁姑は見切る"が導かれる
2. 推論1と事実2から、仮説が否定される

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