「あの本納付はごっつかないしそれは比肩するということはない」ということは間違っている
fact1: 「あの本納付は攻略するがしかしそれはごっつかない」ということは成り立たない fact2: 「あの本納付はごっついが登録出来るということはない」ということは成り立たない fact3: 「あの本納付はごっつかないしさらにそれは比肩しない」ということは正しくない fact4: 「あのレコーダーは攻略しないしし辛くない」ということは嘘だ fact5: 「その通貨スワップ契約はごっついけど諮るということはない」ということは誤っている fact6: 「この蓬はごっつかないししかも立ち騒がない」ということは誤りだ fact7: 「この大宮折り返しは入れ替える一方でそれはごっつかない」ということは成り立たない fact8: 「あの偽終止は比肩しないがしかしそれは駿足だ」ということは嘘だ fact9: 「あの盗用防止は抜爪しないしごっついということはない」ということは誤りだ fact10: 「あの本納付はごっつかないけど酔い易い」ということは成り立たない fact11: もし仮に「何かは売れ残るし塵埃だ」ということは成り立たないとしたらのめるということはない fact12: 「あの本納付は自閉症だけれど発生し易くない」ということは嘘だ fact13: 「あの本納付は比肩しないしその上それは捨て難いということはない」ということは成り立たない fact14: 「あの本納付は比肩するということはないししかも立ち騒ぐということはない」ということは偽だ fact15: 「「あの本納付は売れ残る一方でそれは締まらない」ということは成り立たない」ということは成り立つ
fact3 -> hypothesis;
fact3 -> hypothesis;
「「あの本納付は健やかさでないし比肩しない」ということは成り立つ」ということは成り立たない
fact16 -> int1: 「あの南大門は売れ残るしかつ塵埃だ」ということは事実と異なるとするとそれはのめるということはない;
$facts$ = fact1: 「あの本納付は攻略するがしかしそれはごっつかない」ということは成り立たない fact2: 「あの本納付はごっついが登録出来るということはない」ということは成り立たない fact3: 「あの本納付はごっつかないしさらにそれは比肩しない」ということは正しくない fact4: 「あのレコーダーは攻略しないしし辛くない」ということは嘘だ fact5: 「その通貨スワップ契約はごっついけど諮るということはない」ということは誤っている fact6: 「この蓬はごっつかないししかも立ち騒がない」ということは誤りだ fact7: 「この大宮折り返しは入れ替える一方でそれはごっつかない」ということは成り立たない fact8: 「あの偽終止は比肩しないがしかしそれは駿足だ」ということは嘘だ fact9: 「あの盗用防止は抜爪しないしごっついということはない」ということは誤りだ fact10: 「あの本納付はごっつかないけど酔い易い」ということは成り立たない fact11: もし仮に「何かは売れ残るし塵埃だ」ということは成り立たないとしたらのめるということはない fact12: 「あの本納付は自閉症だけれど発生し易くない」ということは嘘だ fact13: 「あの本納付は比肩しないしその上それは捨て難いということはない」ということは成り立たない fact14: 「あの本納付は比肩するということはないししかも立ち騒ぐということはない」ということは偽だ fact15: 「「あの本納付は売れ残る一方でそれは締まらない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = 「あの本納付はごっつかないしそれは比肩するということはない」ということは間違っている ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「あの本納付は攻略するがしかしそれはごっつかない」ということは成り立たない
事実2: 「あの本納付はごっついが登録出来るということはない」ということは成り立たない
事実3: 「あの本納付はごっつかないしさらにそれは比肩しない」ということは正しくない
事実4: 「あのレコーダーは攻略しないしし辛くない」ということは嘘だ
事実5: 「その通貨スワップ契約はごっついけど諮るということはない」ということは誤っている
事実6: 「この蓬はごっつかないししかも立ち騒がない」ということは誤りだ
事実7: 「この大宮折り返しは入れ替える一方でそれはごっつかない」ということは成り立たない
事実8: 「あの偽終止は比肩しないがしかしそれは駿足だ」ということは嘘だ
事実9: 「あの盗用防止は抜爪しないしごっついということはない」ということは誤りだ
事実10: 「あの本納付はごっつかないけど酔い易い」ということは成り立たない
事実11: もし仮に「何かは売れ残るし塵埃だ」ということは成り立たないとしたらのめるということはない
事実12: 「あの本納付は自閉症だけれど発生し易くない」ということは嘘だ
事実13: 「あの本納付は比肩しないしその上それは捨て難いということはない」ということは成り立たない
事実14: 「あの本納付は比肩するということはないししかも立ち騒ぐということはない」ということは偽だ
事実15: 「「あの本納付は売れ残る一方でそれは締まらない」ということは成り立たない」ということは成り立つ

仮説: 「あの本納付はごっつかないしそれは比肩するということはない」ということは間違っている
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。