「このトランザクションは仕事人間でないがしかしそれは聞き質す」ということは成り立たない
fact1: もしこのトランザクションが宙返りするとしたらあのインターネット接続は赤い fact2: もしも「このトランザクションは聞き質さないかそれは千九百七十七年生まれであるかあるいはどちらもだ」ということは成り立たないとするとあのメモ帳は聞き質すということはない fact3: あのメモ帳は揮毫しなくて千九百七十七年生まれでない fact4: なんらかのものは千九百七十七年生まれでないとすれば「赤い」ということは事実である fact5: もしもあのインターネット接続が苦いとすればこのトランザクションは苦くない fact6: 「「あのインターネット接続は苦いし赤い」ということは成り立つ」ということは間違いだ fact7: 「このトランザクションはでかくないがしかし仕事人間である」ということは成り立たない fact8: 仮に何らかの物は千九百七十七年生まれでないとしたら「「それは赤くないかもしくは苦いかあるいは両方だ」ということは成り立つ」ということは事実と異なる fact9: もしも「何かは千九百七十七年生まれでないかもしくは宙返りするかもしくはどちらもである」ということは成り立たないならば赤いということはない fact10: もしもあのメモ帳は赤いということはないなら「揮毫するということはないか聞き質すか両方だ」ということは成り立たない fact11: もし仮に「あのメモ帳は赤くないかもしくは苦いかどちらもである」ということは事実でないならばあのインターネット接続は赤くない fact12: 仮に何らかの物は赤くないなら「仕事人間でないけど聞き質す」ということは偽である fact13: もし仮に「あるものは仕事人間でないけど聞き質す」ということは間違っているなら宙返りする fact14: 「このトランザクションは仕事人間でない」ということは真実である fact15: 仮に「あのインターネット接続は嫁入りでない」ということは真実であるとしたら揮毫するし加えてそれは苦い fact16: 仮にあのメモ帳が嫁入りでないがしかしそれが着くとしたらあのインターネット接続は嫁入りだということはない
fact13 -> int1: もし「このトランザクションは仕事人間でない一方でそれは聞き質す」ということは誤りだとするとそれは宙返りする; void -> assump1: 以下のように仮定する。「このトランザクションは仕事人間でないけど聞き質す」ということは誤っている; int1 & assump1 -> int2: このトランザクションは宙返りする; int2 & fact1 -> int3: あのインターネット接続は赤い; fact8 -> int4: あのメモ帳は千九百七十七年生まれでないとすれば「赤いということはないかまたはそれは苦い」ということは真実でない; fact3 -> int5: あのメモ帳は千九百七十七年生まれでない; int4 & int5 -> int6: 「あのメモ帳は赤くないかまたは苦いかあるいは両方ともである」ということは正しくない; fact11 & int6 -> int7: あのインターネット接続は赤くない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「このトランザクションは仕事人間でないがしかし聞き質す」ということは成り立たない
fact21 -> int9: このトランザクションは赤くないとすると「仕事人間でないけど聞き質す」ということは成り立たない; fact17 -> int10: もし「このトランザクションは千九百七十七年生まれでないかあるいは宙返りするかあるいは両方である」ということは真実であるということはないとしたら赤くない;
$facts$ = fact1: もしこのトランザクションが宙返りするとしたらあのインターネット接続は赤い fact2: もしも「このトランザクションは聞き質さないかそれは千九百七十七年生まれであるかあるいはどちらもだ」ということは成り立たないとするとあのメモ帳は聞き質すということはない fact3: あのメモ帳は揮毫しなくて千九百七十七年生まれでない fact4: なんらかのものは千九百七十七年生まれでないとすれば「赤い」ということは事実である fact5: もしもあのインターネット接続が苦いとすればこのトランザクションは苦くない fact6: 「「あのインターネット接続は苦いし赤い」ということは成り立つ」ということは間違いだ fact7: 「このトランザクションはでかくないがしかし仕事人間である」ということは成り立たない fact8: 仮に何らかの物は千九百七十七年生まれでないとしたら「「それは赤くないかもしくは苦いかあるいは両方だ」ということは成り立つ」ということは事実と異なる fact9: もしも「何かは千九百七十七年生まれでないかもしくは宙返りするかもしくはどちらもである」ということは成り立たないならば赤いということはない fact10: もしもあのメモ帳は赤いということはないなら「揮毫するということはないか聞き質すか両方だ」ということは成り立たない fact11: もし仮に「あのメモ帳は赤くないかもしくは苦いかどちらもである」ということは事実でないならばあのインターネット接続は赤くない fact12: 仮に何らかの物は赤くないなら「仕事人間でないけど聞き質す」ということは偽である fact13: もし仮に「あるものは仕事人間でないけど聞き質す」ということは間違っているなら宙返りする fact14: 「このトランザクションは仕事人間でない」ということは真実である fact15: 仮に「あのインターネット接続は嫁入りでない」ということは真実であるとしたら揮毫するし加えてそれは苦い fact16: 仮にあのメモ帳が嫁入りでないがしかしそれが着くとしたらあのインターネット接続は嫁入りだということはない ; $hypothesis$ = 「このトランザクションは仕事人間でないがしかしそれは聞き質す」ということは成り立たない ; $proof$ = 
fact13 -> int1: もし「このトランザクションは仕事人間でない一方でそれは聞き質す」ということは誤りだとするとそれは宙返りする; void -> assump1: 以下のように仮定する。「このトランザクションは仕事人間でないけど聞き質す」ということは誤っている; int1 & assump1 -> int2: このトランザクションは宙返りする; int2 & fact1 -> int3: あのインターネット接続は赤い; fact8 -> int4: あのメモ帳は千九百七十七年生まれでないとすれば「赤いということはないかまたはそれは苦い」ということは真実でない; fact3 -> int5: あのメモ帳は千九百七十七年生まれでない; int4 & int5 -> int6: 「あのメモ帳は赤くないかまたは苦いかあるいは両方ともである」ということは正しくない; fact11 & int6 -> int7: あのインターネット接続は赤くない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしこのトランザクションが宙返りするとしたらあのインターネット接続は赤い
事実2: もしも「このトランザクションは聞き質さないかそれは千九百七十七年生まれであるかあるいはどちらもだ」ということは成り立たないとするとあのメモ帳は聞き質すということはない
事実3: あのメモ帳は揮毫しなくて千九百七十七年生まれでない
事実4: なんらかのものは千九百七十七年生まれでないとすれば「赤い」ということは事実である
事実5: もしもあのインターネット接続が苦いとすればこのトランザクションは苦くない
事実6: 「「あのインターネット接続は苦いし赤い」ということは成り立つ」ということは間違いだ
事実7: 「このトランザクションはでかくないがしかし仕事人間である」ということは成り立たない
事実8: 仮に何らかの物は千九百七十七年生まれでないとしたら「「それは赤くないかもしくは苦いかあるいは両方だ」ということは成り立つ」ということは事実と異なる
事実9: もしも「何かは千九百七十七年生まれでないかもしくは宙返りするかもしくはどちらもである」ということは成り立たないならば赤いということはない
事実10: もしもあのメモ帳は赤いということはないなら「揮毫するということはないか聞き質すか両方だ」ということは成り立たない
事実11: もし仮に「あのメモ帳は赤くないかもしくは苦いかどちらもである」ということは事実でないならばあのインターネット接続は赤くない
事実12: 仮に何らかの物は赤くないなら「仕事人間でないけど聞き質す」ということは偽である
事実13: もし仮に「あるものは仕事人間でないけど聞き質す」ということは間違っているなら宙返りする
事実14: 「このトランザクションは仕事人間でない」ということは真実である
事実15: 仮に「あのインターネット接続は嫁入りでない」ということは真実であるとしたら揮毫するし加えてそれは苦い
事実16: 仮にあのメモ帳が嫁入りでないがしかしそれが着くとしたらあのインターネット接続は嫁入りだということはない

仮説: 「このトランザクションは仕事人間でないがしかしそれは聞き質す」ということは成り立たない
1. 事実13から、推論1: "もし「このトランザクションは仕事人間でない一方でそれは聞き質す」ということは誤りだとするとそれは宙返りする"が導かれる
2. 仮定1: 以下のように仮定する。「このトランザクションは仕事人間でないけど聞き質す」ということは誤っている
3. 推論1と仮定1から、推論2: "このトランザクションは宙返りする"が導かれる
4. 推論2と事実1から、推論3: "あのインターネット接続は赤い"が導かれる
5. 事実8から、推論4: "あのメモ帳は千九百七十七年生まれでないとすれば「赤いということはないかまたはそれは苦い」ということは真実でない"が導かれる
6. 事実3から、推論5: "あのメモ帳は千九百七十七年生まれでない"が導かれる
7. 推論4と推論5から、推論6: "「あのメモ帳は赤くないかまたは苦いかあるいは両方ともである」ということは正しくない"が導かれる
8. 事実11と推論6から、推論7: "あのインターネット接続は赤くない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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