「この総括安全衛生管理者は生成し易いということはない一方で飛び付く」ということは成り立たない
fact1: あの農民一揆は飛び付かない fact2: この総括安全衛生管理者は上げ易くない fact3: 仮にとあるものは飛び付けば「聞き易くないかもしくはそれは上げ易い」ということは正しくない fact4: もしもあの小三が生成し易いならばこの総括安全衛生管理者は上げ易くない fact5: あの小三が上げ易いとするとその都市戸籍は逮捕・勾留しなくてそれは生成し易いということはない fact6: その都市戸籍は逮捕・勾留しなくて飛び付かない fact7: この総括安全衛生管理者が飛び付かないとすればその都市戸籍は飛び付かないけどそれは生成し易い fact8: もしもその都市戸籍が生成し易くないとすればあの総括安全衛生管理者は飛び付く fact9: あの小三は上げ易い fact10: もし「あの小三は聞き易くないかもしくは上げ易いかもしくはどちらもだ」ということは成り立たないならばその小銅鐸は上げ易いということはない fact11: その都市戸籍は飛び付かないしさらに逮捕・勾留するということはない fact12: あの小三は色好みでなくてしかも従価税品であるということはない fact13: もしこの総括安全衛生管理者が生成し易いとしたらその都市戸籍は飛び付かない fact14: その都市戸籍は上げ易くない fact15: その都市戸籍は引っ越せる fact16: もし仮にその都市戸籍が生成し易くないならこの総括安全衛生管理者は生成し易くないけれどそれは飛び付く fact17: もしもこの総括安全衛生管理者が飛び付かないとすればその都市戸籍は飛び付かない fact18: その都市戸籍は飛び付くとすると「この総括安全衛生管理者は生成し易いということはない」ということは成り立つ
fact5 & fact9 -> int1: その都市戸籍は逮捕・勾留しなくて更に生成し易くない; int1 -> int2: その都市戸籍は生成し易くない; int2 & fact16 -> hypothesis;
「その小銅鐸は上げ易くない」ということは間違っていない
fact20 -> int3: 仮にあの小三は飛び付くとすると「それは聞き易いということはないかもしくは上げ易いかあるいは両方ともである」ということは成り立たない;
$facts$ = fact1: あの農民一揆は飛び付かない fact2: この総括安全衛生管理者は上げ易くない fact3: 仮にとあるものは飛び付けば「聞き易くないかもしくはそれは上げ易い」ということは正しくない fact4: もしもあの小三が生成し易いならばこの総括安全衛生管理者は上げ易くない fact5: あの小三が上げ易いとするとその都市戸籍は逮捕・勾留しなくてそれは生成し易いということはない fact6: その都市戸籍は逮捕・勾留しなくて飛び付かない fact7: この総括安全衛生管理者が飛び付かないとすればその都市戸籍は飛び付かないけどそれは生成し易い fact8: もしもその都市戸籍が生成し易くないとすればあの総括安全衛生管理者は飛び付く fact9: あの小三は上げ易い fact10: もし「あの小三は聞き易くないかもしくは上げ易いかもしくはどちらもだ」ということは成り立たないならばその小銅鐸は上げ易いということはない fact11: その都市戸籍は飛び付かないしさらに逮捕・勾留するということはない fact12: あの小三は色好みでなくてしかも従価税品であるということはない fact13: もしこの総括安全衛生管理者が生成し易いとしたらその都市戸籍は飛び付かない fact14: その都市戸籍は上げ易くない fact15: その都市戸籍は引っ越せる fact16: もし仮にその都市戸籍が生成し易くないならこの総括安全衛生管理者は生成し易くないけれどそれは飛び付く fact17: もしもこの総括安全衛生管理者が飛び付かないとすればその都市戸籍は飛び付かない fact18: その都市戸籍は飛び付くとすると「この総括安全衛生管理者は生成し易いということはない」ということは成り立つ ; $hypothesis$ = 「この総括安全衛生管理者は生成し易いということはない一方で飛び付く」ということは成り立たない ; $proof$ = 
fact5 & fact9 -> int1: その都市戸籍は逮捕・勾留しなくて更に生成し易くない; int1 -> int2: その都市戸籍は生成し易くない; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: あの農民一揆は飛び付かない
事実2: この総括安全衛生管理者は上げ易くない
事実3: 仮にとあるものは飛び付けば「聞き易くないかもしくはそれは上げ易い」ということは正しくない
事実4: もしもあの小三が生成し易いならばこの総括安全衛生管理者は上げ易くない
事実5: あの小三が上げ易いとするとその都市戸籍は逮捕・勾留しなくてそれは生成し易いということはない
事実6: その都市戸籍は逮捕・勾留しなくて飛び付かない
事実7: この総括安全衛生管理者が飛び付かないとすればその都市戸籍は飛び付かないけどそれは生成し易い
事実8: もしもその都市戸籍が生成し易くないとすればあの総括安全衛生管理者は飛び付く
事実9: あの小三は上げ易い
事実10: もし「あの小三は聞き易くないかもしくは上げ易いかもしくはどちらもだ」ということは成り立たないならばその小銅鐸は上げ易いということはない
事実11: その都市戸籍は飛び付かないしさらに逮捕・勾留するということはない
事実12: あの小三は色好みでなくてしかも従価税品であるということはない
事実13: もしこの総括安全衛生管理者が生成し易いとしたらその都市戸籍は飛び付かない
事実14: その都市戸籍は上げ易くない
事実15: その都市戸籍は引っ越せる
事実16: もし仮にその都市戸籍が生成し易くないならこの総括安全衛生管理者は生成し易くないけれどそれは飛び付く
事実17: もしもこの総括安全衛生管理者が飛び付かないとすればその都市戸籍は飛び付かない
事実18: その都市戸籍は飛び付くとすると「この総括安全衛生管理者は生成し易いということはない」ということは成り立つ

仮説: 「この総括安全衛生管理者は生成し易いということはない一方で飛び付く」ということは成り立たない
1. 事実5と事実9から、推論1: "その都市戸籍は逮捕・勾留しなくて更に生成し易くない"が導かれる
2. 推論1から、推論2: "その都市戸籍は生成し易くない"が導かれる
3. 推論2と事実16から、仮説が否定される

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