この中隊は後らしくないか書き綴らないかあるいは両方ともである
fact1: 青白い物が赤っぽくないならばこの中隊は農業形態だ fact2: その歯周ポケットは恥骨頸部筋膜であるかそれは深しということはないかもしくは両方である fact3: 青白くなくて赤っぽいということはない物はある fact4: その歯周ポケットは深し fact5: 「青白くない」物はある fact6: 農業形態は帽子だ fact7: もしもこの中隊が書き綴るしその上帽子であるとしたらその歯周ポケットは深しということはない fact8: 「晴々しかない」物はある fact9: なにがしかのものが青白くなくてそれは赤っぽくないならば「この中隊は農業形態だ」ということは誤っているということはない
fact3 & fact9 -> int1: この中隊は農業形態である; fact6 -> int2: もし仮にこの中隊が農業形態だとするとそれは帽子である; int1 & int2 -> int3: この中隊は帽子だ; void -> assump1: 以下のように仮定する。「この中隊は書き綴る」ということは嘘でない; int3 & assump1 -> int4: この中隊は書き綴るししかも帽子だ; int4 & fact7 -> int5: その歯周ポケットは深しない; int5 & fact4 -> int6: これは矛盾である; [assump1] & int6 -> int7: この中隊は書き綴らない; int7 -> hypothesis;
$facts$ = fact1: 青白い物が赤っぽくないならばこの中隊は農業形態だ fact2: その歯周ポケットは恥骨頸部筋膜であるかそれは深しということはないかもしくは両方である fact3: 青白くなくて赤っぽいということはない物はある fact4: その歯周ポケットは深し fact5: 「青白くない」物はある fact6: 農業形態は帽子だ fact7: もしもこの中隊が書き綴るしその上帽子であるとしたらその歯周ポケットは深しということはない fact8: 「晴々しかない」物はある fact9: なにがしかのものが青白くなくてそれは赤っぽくないならば「この中隊は農業形態だ」ということは誤っているということはない ; $hypothesis$ = この中隊は後らしくないか書き綴らないかあるいは両方ともである ; $proof$ = 
fact3 & fact9 -> int1: この中隊は農業形態である; fact6 -> int2: もし仮にこの中隊が農業形態だとするとそれは帽子である; int1 & int2 -> int3: この中隊は帽子だ; void -> assump1: 以下のように仮定する。「この中隊は書き綴る」ということは嘘でない; int3 & assump1 -> int4: この中隊は書き綴るししかも帽子だ; int4 & fact7 -> int5: その歯周ポケットは深しない; int5 & fact4 -> int6: これは矛盾である; [assump1] & int6 -> int7: この中隊は書き綴らない; int7 -> hypothesis; __PROVED__
事実1: 青白い物が赤っぽくないならばこの中隊は農業形態だ
事実2: その歯周ポケットは恥骨頸部筋膜であるかそれは深しということはないかもしくは両方である
事実3: 青白くなくて赤っぽいということはない物はある
事実4: その歯周ポケットは深し
事実5: 「青白くない」物はある
事実6: 農業形態は帽子だ
事実7: もしもこの中隊が書き綴るしその上帽子であるとしたらその歯周ポケットは深しということはない
事実8: 「晴々しかない」物はある
事実9: なにがしかのものが青白くなくてそれは赤っぽくないならば「この中隊は農業形態だ」ということは誤っているということはない

仮説: この中隊は後らしくないか書き綴らないかあるいは両方ともである
1. 事実3と事実9から、推論1: "この中隊は農業形態である"が導かれる
2. 事実6から、推論2: "もし仮にこの中隊が農業形態だとするとそれは帽子である"が導かれる
3. 推論1と推論2から、推論3: "この中隊は帽子だ"が導かれる
4. 仮定1: 以下のように仮定する。「この中隊は書き綴る」ということは嘘でない
5. 推論3と仮定1から、推論4: "この中隊は書き綴るししかも帽子だ"が導かれる
6. 推論4と事実7から、推論5: "その歯周ポケットは深しない"が導かれる
7. 推論5と事実4から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この中隊は書き綴らない"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。