あの一学級は着易くないしおまけにそれは酔い易くない
fact1: その被選挙権は思索家だ fact2: もし仮にその税金負担は酔い易いということはないなら「「あの一学級は着易くなくてしかも酔い易くない」ということは事実である」ということは成り立たない fact3: もし仮にその黒鉛組織が乗り上げるがしかし大きくないならその税金負担は大きい fact4: 「酔い易くて着易くない」物はある fact5: 「その税金負担は着易いけれど酔い易くない」ということは嘘だ fact6: あの初期鉄器時代が押さえ難くないならこの第四惑星は叩き上げない fact7: もしも「大きいしさらに乗り上げない」物があるとしたらその税金負担は酔い易くない fact8: もしその税金負担は大きいとすると「あの一学級が着易くないしさらに酔い易くない」ということは間違いでない fact9: 「その税金負担は論議するがしかし着易くない」ということは事実だということはない fact10: もし仮にその被選挙権が思索家であるとするとあの初期鉄器時代は叩き上げるかまたはそれは押さえ難くない fact11: 「大きいが乗り上げない」物はある fact12: あるものが叩き上げないとしたらそれは来着するかまたは試みる fact13: もしなにがしかのものが来着するとしたらそれは細い fact14: 細い物は乗り上げる fact15: もし仮にあの初期鉄器時代が叩き上げればこの第四惑星は叩き上げない fact16: もし仮に何かは試みるなら細い fact17: なにかは大きい fact18: 「もし仮にこの第四惑星が乗り上げるならその黒鉛組織は乗り上げる」ということは確かである
fact11 & fact7 -> int1: その税金負担は酔い易くない; int1 & fact2 -> hypothesis;
あの一学級は着易くなくて酔い易くない
fact25 -> int2: この第四惑星が細いとしたら乗り上げる; fact23 -> int3: もし仮にこの第四惑星が叩き上げないならそれは来着するかもしくはそれは試みるかあるいは両方ともだ; fact22 & fact26 -> int4: あの初期鉄器時代は叩き上げるかまたはそれは押さえ難くない; int4 & fact19 & fact21 -> int5: この第四惑星は叩き上げない; int3 & int5 -> int6: この第四惑星は来着するかまたは試みるかもしくは両方ともである; fact27 -> int7: もし仮に「この第四惑星は来着する」ということは嘘でないなら細い; fact28 -> int8: この第四惑星は試みるなら「細くない」ということは本当でない; int6 & int7 & int8 -> int9: この第四惑星は細い; int2 & int9 -> int10: この第四惑星は乗り上げる; fact24 & int10 -> int11: 「その黒鉛組織は乗り上げる」ということは成り立つ;
$facts$ = fact1: その被選挙権は思索家だ fact2: もし仮にその税金負担は酔い易いということはないなら「「あの一学級は着易くなくてしかも酔い易くない」ということは事実である」ということは成り立たない fact3: もし仮にその黒鉛組織が乗り上げるがしかし大きくないならその税金負担は大きい fact4: 「酔い易くて着易くない」物はある fact5: 「その税金負担は着易いけれど酔い易くない」ということは嘘だ fact6: あの初期鉄器時代が押さえ難くないならこの第四惑星は叩き上げない fact7: もしも「大きいしさらに乗り上げない」物があるとしたらその税金負担は酔い易くない fact8: もしその税金負担は大きいとすると「あの一学級が着易くないしさらに酔い易くない」ということは間違いでない fact9: 「その税金負担は論議するがしかし着易くない」ということは事実だということはない fact10: もし仮にその被選挙権が思索家であるとするとあの初期鉄器時代は叩き上げるかまたはそれは押さえ難くない fact11: 「大きいが乗り上げない」物はある fact12: あるものが叩き上げないとしたらそれは来着するかまたは試みる fact13: もしなにがしかのものが来着するとしたらそれは細い fact14: 細い物は乗り上げる fact15: もし仮にあの初期鉄器時代が叩き上げればこの第四惑星は叩き上げない fact16: もし仮に何かは試みるなら細い fact17: なにかは大きい fact18: 「もし仮にこの第四惑星が乗り上げるならその黒鉛組織は乗り上げる」ということは確かである ; $hypothesis$ = あの一学級は着易くないしおまけにそれは酔い易くない ; $proof$ = 
fact11 & fact7 -> int1: その税金負担は酔い易くない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その被選挙権は思索家だ
事実2: もし仮にその税金負担は酔い易いということはないなら「「あの一学級は着易くなくてしかも酔い易くない」ということは事実である」ということは成り立たない
事実3: もし仮にその黒鉛組織が乗り上げるがしかし大きくないならその税金負担は大きい
事実4: 「酔い易くて着易くない」物はある
事実5: 「その税金負担は着易いけれど酔い易くない」ということは嘘だ
事実6: あの初期鉄器時代が押さえ難くないならこの第四惑星は叩き上げない
事実7: もしも「大きいしさらに乗り上げない」物があるとしたらその税金負担は酔い易くない
事実8: もしその税金負担は大きいとすると「あの一学級が着易くないしさらに酔い易くない」ということは間違いでない
事実9: 「その税金負担は論議するがしかし着易くない」ということは事実だということはない
事実10: もし仮にその被選挙権が思索家であるとするとあの初期鉄器時代は叩き上げるかまたはそれは押さえ難くない
事実11: 「大きいが乗り上げない」物はある
事実12: あるものが叩き上げないとしたらそれは来着するかまたは試みる
事実13: もしなにがしかのものが来着するとしたらそれは細い
事実14: 細い物は乗り上げる
事実15: もし仮にあの初期鉄器時代が叩き上げればこの第四惑星は叩き上げない
事実16: もし仮に何かは試みるなら細い
事実17: なにかは大きい
事実18: 「もし仮にこの第四惑星が乗り上げるならその黒鉛組織は乗り上げる」ということは確かである

仮説: あの一学級は着易くないしおまけにそれは酔い易くない
1. 事実11と事実7から、推論1: "その税金負担は酔い易くない"が導かれる
2. 推論1と事実2から、仮説が否定される

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