「もし仮に「あの格子模様は無免許運転である」ということは事実であるとすると「あのライセンス認証は会陰部であるかもしくは渡り終えない」ということは真実でない」ということは嘘だ
fact1: もしあの設備配管が無免許運転であるし会陰部であるならあのライセンス認証は渡り終えるということはない fact2: もしも「あの設備配管は会陰部でない」ということは成り立つなら「あのライセンス認証は会陰部であるかあるいは渡り終えないかもしくは両方である」ということは誤りだ fact3: あのライセンス認証は渡り終える fact4: 仮にあの設備配管が会陰部でないならばあのライセンス認証は会陰部であるかもしくはそれは渡り終えない fact5: この一万三千前後は渡り終える fact6: もし仮にあのライセンス認証は虫捕りでないとすれば「あの格子模様は虫捕りであるかまたは渡り終えない」ということは嘘である fact7: あの格子模様は渡り終える fact8: あの格子模様が虫捕りだしまたそれは無免許運転なら「あの設備配管は会陰部でない」ということは成り立つ fact9: あのライセンス認証は会陰部であるかそれは渡り終えないかあるいはどちらもだ fact10: もしあの格子模様が無免許運転だとしたらあのライセンス認証は渡り終える fact11: 仮に「あの設備配管は会陰部でない」ということは正しいとしたらあのライセンス認証は渡り終える fact12: もしあの格子模様が無免許運転ならあのライセンス認証は会陰部であるかあるいは渡り終えないかもしくは両方だ fact13: もしあの設備配管は虫捕りならば「あの格子模様は会陰部であるかあるいはそれは無免許運転でない」ということは間違っている fact14: もし「あのライセンス認証が会陰部だしまたそれは無免許運転だ」ということは誤っていないとするとあの格子模様は虫捕りでない fact15: あのライセンス認証は楽しくない fact16: 仮にあの格子模様は会陰部でないなら「あの設備配管は会陰部であるか無免許運転だということはないかもしくは両方ともだ」ということは事実と異なる fact17: あの格子模様は虫捕りだし加えてそれは楽しい fact18: あの格子模様は楽しい fact19: もし仮にあの格子模様は虫捕りだとすれば「あのライセンス認証は無免許運転であるかまたはそれは渡り終えないかまたは両方ともだ」ということは成り立たない
fact17 -> int1: あの格子模様は虫捕りだ; void -> assump1: 以下のように仮定する。「あの格子模様は無免許運転である」ということは成り立つ; int1 & assump1 -> int2: あの格子模様は虫捕りであるしおまけに無免許運転だ; int2 & fact8 -> int3: あの設備配管は会陰部でない; int3 & fact2 -> int4: 「あのライセンス認証は会陰部であるかまたは渡り終えるということはないかまたは両方ともである」ということは成り立つということはない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしあの設備配管が無免許運転であるし会陰部であるならあのライセンス認証は渡り終えるということはない fact2: もしも「あの設備配管は会陰部でない」ということは成り立つなら「あのライセンス認証は会陰部であるかあるいは渡り終えないかもしくは両方である」ということは誤りだ fact3: あのライセンス認証は渡り終える fact4: 仮にあの設備配管が会陰部でないならばあのライセンス認証は会陰部であるかもしくはそれは渡り終えない fact5: この一万三千前後は渡り終える fact6: もし仮にあのライセンス認証は虫捕りでないとすれば「あの格子模様は虫捕りであるかまたは渡り終えない」ということは嘘である fact7: あの格子模様は渡り終える fact8: あの格子模様が虫捕りだしまたそれは無免許運転なら「あの設備配管は会陰部でない」ということは成り立つ fact9: あのライセンス認証は会陰部であるかそれは渡り終えないかあるいはどちらもだ fact10: もしあの格子模様が無免許運転だとしたらあのライセンス認証は渡り終える fact11: 仮に「あの設備配管は会陰部でない」ということは正しいとしたらあのライセンス認証は渡り終える fact12: もしあの格子模様が無免許運転ならあのライセンス認証は会陰部であるかあるいは渡り終えないかもしくは両方だ fact13: もしあの設備配管は虫捕りならば「あの格子模様は会陰部であるかあるいはそれは無免許運転でない」ということは間違っている fact14: もし「あのライセンス認証が会陰部だしまたそれは無免許運転だ」ということは誤っていないとするとあの格子模様は虫捕りでない fact15: あのライセンス認証は楽しくない fact16: 仮にあの格子模様は会陰部でないなら「あの設備配管は会陰部であるか無免許運転だということはないかもしくは両方ともだ」ということは事実と異なる fact17: あの格子模様は虫捕りだし加えてそれは楽しい fact18: あの格子模様は楽しい fact19: もし仮にあの格子模様は虫捕りだとすれば「あのライセンス認証は無免許運転であるかまたはそれは渡り終えないかまたは両方ともだ」ということは成り立たない ; $hypothesis$ = 「もし仮に「あの格子模様は無免許運転である」ということは事実であるとすると「あのライセンス認証は会陰部であるかもしくは渡り終えない」ということは真実でない」ということは嘘だ ; $proof$ = 
fact17 -> int1: あの格子模様は虫捕りだ; void -> assump1: 以下のように仮定する。「あの格子模様は無免許運転である」ということは成り立つ; int1 & assump1 -> int2: あの格子模様は虫捕りであるしおまけに無免許運転だ; int2 & fact8 -> int3: あの設備配管は会陰部でない; int3 & fact2 -> int4: 「あのライセンス認証は会陰部であるかまたは渡り終えるということはないかまたは両方ともである」ということは成り立つということはない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしあの設備配管が無免許運転であるし会陰部であるならあのライセンス認証は渡り終えるということはない
事実2: もしも「あの設備配管は会陰部でない」ということは成り立つなら「あのライセンス認証は会陰部であるかあるいは渡り終えないかもしくは両方である」ということは誤りだ
事実3: あのライセンス認証は渡り終える
事実4: 仮にあの設備配管が会陰部でないならばあのライセンス認証は会陰部であるかもしくはそれは渡り終えない
事実5: この一万三千前後は渡り終える
事実6: もし仮にあのライセンス認証は虫捕りでないとすれば「あの格子模様は虫捕りであるかまたは渡り終えない」ということは嘘である
事実7: あの格子模様は渡り終える
事実8: あの格子模様が虫捕りだしまたそれは無免許運転なら「あの設備配管は会陰部でない」ということは成り立つ
事実9: あのライセンス認証は会陰部であるかそれは渡り終えないかあるいはどちらもだ
事実10: もしあの格子模様が無免許運転だとしたらあのライセンス認証は渡り終える
事実11: 仮に「あの設備配管は会陰部でない」ということは正しいとしたらあのライセンス認証は渡り終える
事実12: もしあの格子模様が無免許運転ならあのライセンス認証は会陰部であるかあるいは渡り終えないかもしくは両方だ
事実13: もしあの設備配管は虫捕りならば「あの格子模様は会陰部であるかあるいはそれは無免許運転でない」ということは間違っている
事実14: もし「あのライセンス認証が会陰部だしまたそれは無免許運転だ」ということは誤っていないとするとあの格子模様は虫捕りでない
事実15: あのライセンス認証は楽しくない
事実16: 仮にあの格子模様は会陰部でないなら「あの設備配管は会陰部であるか無免許運転だということはないかもしくは両方ともだ」ということは事実と異なる
事実17: あの格子模様は虫捕りだし加えてそれは楽しい
事実18: あの格子模様は楽しい
事実19: もし仮にあの格子模様は虫捕りだとすれば「あのライセンス認証は無免許運転であるかまたはそれは渡り終えないかまたは両方ともだ」ということは成り立たない

仮説: 「もし仮に「あの格子模様は無免許運転である」ということは事実であるとすると「あのライセンス認証は会陰部であるかもしくは渡り終えない」ということは真実でない」ということは嘘だ
1. 事実17から、推論1: "あの格子模様は虫捕りだ"が導かれる
2. 仮定1: 以下のように仮定する。「あの格子模様は無免許運転である」ということは成り立つ
3. 推論1と仮定1から、推論2: "あの格子模様は虫捕りであるしおまけに無免許運転だ"が導かれる
4. 推論2と事実8から、推論3: "あの設備配管は会陰部でない"が導かれる
5. 推論3と事実2から、推論4: "「あのライセンス認証は会陰部であるかまたは渡り終えるということはないかまたは両方ともである」ということは成り立つということはない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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