「この版形は合同するか革靴である」ということは嘘である
fact1: あの英語学校は合同する fact2: この版形が判官だしかつそれは革靴だ fact3: この版形は滞納する fact4: この治水事業は判官である fact5: 継続し難いものは革靴である fact6: もしこの版形は請求しないならば「合同しないししかも白くない」ということは誤っている fact7: この元株は諸学校であるかまたはそれは変更出来るかまたは両方である fact8: この版形は突っ込むしそれに焼き肉文化である fact9: 「この版形は合同するということはないし白いということはない」ということは間違っているとしたら「それは防護工事である」ということは成り立つ fact10: 「この版形はづない」ということは間違いである fact11: あのチームプレーは重んずるかあるいはづかあるいは両方ともだ fact12: その講和条約は革靴だ fact13: この版形は相応しくて哲学する fact14: もし何かは判官でないとすると「それは合同するかあるいはそれは革靴であるかまたはどちらもだ」ということは成り立たない fact15: この版形は請求しない fact16: もし仮にその清麿達が白いが継続し難くないならこの版形は判官でない
fact2 -> int1: この版形は革靴である; int1 -> hypothesis;
「この版形は合同するかあるいは革靴である」ということは嘘である
fact18 -> int2: この版形は判官でないなら「合同するかもしくは革靴であるかもしくは両方である」ということは成り立たない;
$facts$ = fact1: あの英語学校は合同する fact2: この版形が判官だしかつそれは革靴だ fact3: この版形は滞納する fact4: この治水事業は判官である fact5: 継続し難いものは革靴である fact6: もしこの版形は請求しないならば「合同しないししかも白くない」ということは誤っている fact7: この元株は諸学校であるかまたはそれは変更出来るかまたは両方である fact8: この版形は突っ込むしそれに焼き肉文化である fact9: 「この版形は合同するということはないし白いということはない」ということは間違っているとしたら「それは防護工事である」ということは成り立つ fact10: 「この版形はづない」ということは間違いである fact11: あのチームプレーは重んずるかあるいはづかあるいは両方ともだ fact12: その講和条約は革靴だ fact13: この版形は相応しくて哲学する fact14: もし何かは判官でないとすると「それは合同するかあるいはそれは革靴であるかまたはどちらもだ」ということは成り立たない fact15: この版形は請求しない fact16: もし仮にその清麿達が白いが継続し難くないならこの版形は判官でない ; $hypothesis$ = 「この版形は合同するか革靴である」ということは嘘である ; $proof$ = 
fact2 -> int1: この版形は革靴である; int1 -> hypothesis; __DISPROVED__
事実1: あの英語学校は合同する
事実2: この版形が判官だしかつそれは革靴だ
事実3: この版形は滞納する
事実4: この治水事業は判官である
事実5: 継続し難いものは革靴である
事実6: もしこの版形は請求しないならば「合同しないししかも白くない」ということは誤っている
事実7: この元株は諸学校であるかまたはそれは変更出来るかまたは両方である
事実8: この版形は突っ込むしそれに焼き肉文化である
事実9: 「この版形は合同するということはないし白いということはない」ということは間違っているとしたら「それは防護工事である」ということは成り立つ
事実10: 「この版形はづない」ということは間違いである
事実11: あのチームプレーは重んずるかあるいはづかあるいは両方ともだ
事実12: その講和条約は革靴だ
事実13: この版形は相応しくて哲学する
事実14: もし何かは判官でないとすると「それは合同するかあるいはそれは革靴であるかまたはどちらもだ」ということは成り立たない
事実15: この版形は請求しない
事実16: もし仮にその清麿達が白いが継続し難くないならこの版形は判官でない

仮説: 「この版形は合同するか革靴である」ということは嘘である
1. 事実2から、推論1: "この版形は革靴である"が導かれる
2. 推論1から、仮説が否定される

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