その田舎者はせせこましい
fact1: もし仮にその田舎者が低めるとするとそのステートＳは僻みっぽい fact2: もしもそのステートＳが僻みっぽいとすればその西欧文化はどす黒い fact3: 死に掛かるかあるいははしたなくないかまたは両方ともだという物はない fact4: せせこましくない物が起こり難くないとすると低める fact5: もし「ある物は死に掛かるかはしたなくないか両方である」ということは偽だとしたら「それは起こり難くない」ということは成り立つ fact6: その西欧文化はどす黒くない fact7: 僻みっぽいということはないものは起こり難いか低めないかもしくは両方だ
fact3 -> int1: 「その田舎者は死に掛かるかまたはそれははしたなくないかあるいは両方ともだ」ということは事実と異なる; fact5 -> int2: もし「その田舎者は死に掛かるかまたははしたなくない」ということは誤っているならそれは起こり難くない; int1 & int2 -> int3: その田舎者は起こり難くない; void -> assump1: 以下のように仮定する。その田舎者はせせこましくない; int3 & assump1 -> int4: その田舎者はせせこましくないし起こり難くない; fact4 -> int5: もしもその田舎者がせせこましくないしかつ起こり難くないとすれば低める; int4 & int5 -> int6: その田舎者は低める; int6 & fact1 -> int7: そのステートＳは僻みっぽい; int7 & fact2 -> int8: その西欧文化はどす黒い; int8 & fact6 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その田舎者はせせこましくない
fact8 -> int10: その田舎者は僻みっぽくないなら「それは起こり難いかそれは低めないかあるいは両方である」ということは成り立つ;
$facts$ = fact1: もし仮にその田舎者が低めるとするとそのステートＳは僻みっぽい fact2: もしもそのステートＳが僻みっぽいとすればその西欧文化はどす黒い fact3: 死に掛かるかあるいははしたなくないかまたは両方ともだという物はない fact4: せせこましくない物が起こり難くないとすると低める fact5: もし「ある物は死に掛かるかはしたなくないか両方である」ということは偽だとしたら「それは起こり難くない」ということは成り立つ fact6: その西欧文化はどす黒くない fact7: 僻みっぽいということはないものは起こり難いか低めないかもしくは両方だ ; $hypothesis$ = その田舎者はせせこましい ; $proof$ = 
fact3 -> int1: 「その田舎者は死に掛かるかまたはそれははしたなくないかあるいは両方ともだ」ということは事実と異なる; fact5 -> int2: もし「その田舎者は死に掛かるかまたははしたなくない」ということは誤っているならそれは起こり難くない; int1 & int2 -> int3: その田舎者は起こり難くない; void -> assump1: 以下のように仮定する。その田舎者はせせこましくない; int3 & assump1 -> int4: その田舎者はせせこましくないし起こり難くない; fact4 -> int5: もしもその田舎者がせせこましくないしかつ起こり難くないとすれば低める; int4 & int5 -> int6: その田舎者は低める; int6 & fact1 -> int7: そのステートＳは僻みっぽい; int7 & fact2 -> int8: その西欧文化はどす黒い; int8 & fact6 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もし仮にその田舎者が低めるとするとそのステートＳは僻みっぽい
事実2: もしもそのステートＳが僻みっぽいとすればその西欧文化はどす黒い
事実3: 死に掛かるかあるいははしたなくないかまたは両方ともだという物はない
事実4: せせこましくない物が起こり難くないとすると低める
事実5: もし「ある物は死に掛かるかはしたなくないか両方である」ということは偽だとしたら「それは起こり難くない」ということは成り立つ
事実6: その西欧文化はどす黒くない
事実7: 僻みっぽいということはないものは起こり難いか低めないかもしくは両方だ

仮説: その田舎者はせせこましい
1. 事実3から、推論1: "「その田舎者は死に掛かるかまたはそれははしたなくないかあるいは両方ともだ」ということは事実と異なる"が導かれる
2. 事実5から、推論2: "もし「その田舎者は死に掛かるかまたははしたなくない」ということは誤っているならそれは起こり難くない"が導かれる
3. 推論1と推論2から、推論3: "その田舎者は起こり難くない"が導かれる
4. 仮定1: 以下のように仮定する。その田舎者はせせこましくない
5. 推論3と仮定1から、推論4: "その田舎者はせせこましくないし起こり難くない"が導かれる
6. 事実4から、推論5: "もしもその田舎者がせせこましくないしかつ起こり難くないとすれば低める"が導かれる
7. 推論4と推論5から、推論6: "その田舎者は低める"が導かれる
8. 推論6と事実1から、推論7: "そのステートＳは僻みっぽい"が導かれる
9. 推論7と事実2から、推論8: "その西欧文化はどす黒い"が導かれる
10. 推論8と事実6から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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