「もしもそのウイル中佐が自然万物ならあの保護機能は死に掛かる」ということは誤りである
fact1: そのウイル中佐は厚かましくないかまたは死力だ fact2: そのウイル中佐が死力でないとするとあの保護機能は死に掛かる fact3: そのウイル中佐が死に掛かれば老人会でないかあるいは止む無いかもしくはどちらもだ fact4: 自然万物は死力でないかまたは死に掛からないかあるいは両方である fact5: もし仮にそのウイル中佐が厚かましくないかもしくは死力でないかあるいは両方ならばあの保護機能は死に掛かる fact6: もし仮にあの保護機能が自然万物でないとするとそのウイル中佐は死に掛かる fact7: 自然万物は厚かましくないか死力であるか両方ともだ fact8: もし仮にそのウイル中佐は厚かましくないか死に掛からないかまたはどちらもであるとしたら「あの保護機能は死力だ」ということは成り立つ fact9: 自然万物は厚かましくないかあるいは死力でないか両方ともである fact10: もしそのウイル中佐が死力でないとしたらあの保護機能は厚かましい fact11: 自然万物は死に掛からないかあるいは厚かましくないかあるいは両方である fact12: もしそのウイル中佐が死力であるならばそれは死に掛からないか厚かましいかまたはどちらもである fact13: あの保護機能が死に掛かるということはないかまたは厚かましいということはないかもしくは両方ともであるならそのウイル中佐は死力だ fact14: あの保護機能は死に掛かるということはないかあるいは自然万物でないか両方である
fact9 -> int1: もしそのウイル中佐が自然万物ならば厚かましくないかそれは死力でない; void -> assump1: 以下のように仮定する。そのウイル中佐は自然万物だ; int1 & assump1 -> int2: そのウイル中佐は厚かましくないかそれは死力でないかもしくは両方である; int2 & fact5 -> int3: あの保護機能は死に掛かる; [assump1] & int3 -> hypothesis;
$facts$ = fact1: そのウイル中佐は厚かましくないかまたは死力だ fact2: そのウイル中佐が死力でないとするとあの保護機能は死に掛かる fact3: そのウイル中佐が死に掛かれば老人会でないかあるいは止む無いかもしくはどちらもだ fact4: 自然万物は死力でないかまたは死に掛からないかあるいは両方である fact5: もし仮にそのウイル中佐が厚かましくないかもしくは死力でないかあるいは両方ならばあの保護機能は死に掛かる fact6: もし仮にあの保護機能が自然万物でないとするとそのウイル中佐は死に掛かる fact7: 自然万物は厚かましくないか死力であるか両方ともだ fact8: もし仮にそのウイル中佐は厚かましくないか死に掛からないかまたはどちらもであるとしたら「あの保護機能は死力だ」ということは成り立つ fact9: 自然万物は厚かましくないかあるいは死力でないか両方ともである fact10: もしそのウイル中佐が死力でないとしたらあの保護機能は厚かましい fact11: 自然万物は死に掛からないかあるいは厚かましくないかあるいは両方である fact12: もしそのウイル中佐が死力であるならばそれは死に掛からないか厚かましいかまたはどちらもである fact13: あの保護機能が死に掛かるということはないかまたは厚かましいということはないかもしくは両方ともであるならそのウイル中佐は死力だ fact14: あの保護機能は死に掛かるということはないかあるいは自然万物でないか両方である ; $hypothesis$ = 「もしもそのウイル中佐が自然万物ならあの保護機能は死に掛かる」ということは誤りである ; $proof$ = 
fact9 -> int1: もしそのウイル中佐が自然万物ならば厚かましくないかそれは死力でない; void -> assump1: 以下のように仮定する。そのウイル中佐は自然万物だ; int1 & assump1 -> int2: そのウイル中佐は厚かましくないかそれは死力でないかもしくは両方である; int2 & fact5 -> int3: あの保護機能は死に掛かる; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: そのウイル中佐は厚かましくないかまたは死力だ
事実2: そのウイル中佐が死力でないとするとあの保護機能は死に掛かる
事実3: そのウイル中佐が死に掛かれば老人会でないかあるいは止む無いかもしくはどちらもだ
事実4: 自然万物は死力でないかまたは死に掛からないかあるいは両方である
事実5: もし仮にそのウイル中佐が厚かましくないかもしくは死力でないかあるいは両方ならばあの保護機能は死に掛かる
事実6: もし仮にあの保護機能が自然万物でないとするとそのウイル中佐は死に掛かる
事実7: 自然万物は厚かましくないか死力であるか両方ともだ
事実8: もし仮にそのウイル中佐は厚かましくないか死に掛からないかまたはどちらもであるとしたら「あの保護機能は死力だ」ということは成り立つ
事実9: 自然万物は厚かましくないかあるいは死力でないか両方ともである
事実10: もしそのウイル中佐が死力でないとしたらあの保護機能は厚かましい
事実11: 自然万物は死に掛からないかあるいは厚かましくないかあるいは両方である
事実12: もしそのウイル中佐が死力であるならばそれは死に掛からないか厚かましいかまたはどちらもである
事実13: あの保護機能が死に掛かるということはないかまたは厚かましいということはないかもしくは両方ともであるならそのウイル中佐は死力だ
事実14: あの保護機能は死に掛かるということはないかあるいは自然万物でないか両方である

仮説: 「もしもそのウイル中佐が自然万物ならあの保護機能は死に掛かる」ということは誤りである
1. 事実9から、推論1: "もしそのウイル中佐が自然万物ならば厚かましくないかそれは死力でない"が導かれる
2. 仮定1: 以下のように仮定する。そのウイル中佐は自然万物だ
3. 推論1と仮定1から、推論2: "そのウイル中佐は厚かましくないかそれは死力でないかもしくは両方である"が導かれる
4. 推論2と事実5から、推論3: "あの保護機能は死に掛かる"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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