その京浜急行はソテーしない
fact1: もしこのＢＢが水攻めでない一方でそれが受け入れ難いならばその工業化段階は見分け難くない fact2: このＢＢは受け入れ難いか裁ち落とさない fact3: もしその工業化段階が経験するしおまけに浮くとするとこの自己中心主義はパトロールする fact4: 仮に「この自己中心主義は受け入れ難い」ということは成り立つとするとそれは承認する fact5: もしもその工業化段階が経験するけどそれが浮かないならばあの自己中心主義はパトロールする fact6: この自己中心主義は承認しないかもしくは裁ち落とすかあるいは両方ともだ fact7: このＢＢは水攻めでないけど受け入れ難い fact8: もし仮にこのＢＢが水攻めで更に受け入れ難いとするとその工業化段階は見分け難くない fact9: 「その工業化段階は経験するししかも浮く」ということは間違っている fact10: もし仮にこの自己中心主義が承認しないかまたは裁ち落とさないか両方ともだとすればその京浜急行はソテーしない fact11: もしも「その工業化段階は経験するけど浮かない」ということは嘘だとすればそれは見分け難い fact12: もしこの自己中心主義がパトロールすれば承認しないかまたは裁ち落とさない
void -> assump1: 以下のように仮定する。「その工業化段階は経験するけれど浮かない」ということは成り立たない; fact11 & assump1 -> int1: その工業化段階は見分け難い; fact1 & fact7 -> int2: その工業化段階は見分け難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その工業化段階は経験するがしかし浮かない; int4 & fact5 -> int5: この自己中心主義はパトロールする; int5 & fact12 -> int6: この自己中心主義は承認するということはないかあるいは裁ち落とすということはないかあるいは両方ともだ; int6 & fact10 -> hypothesis;
$facts$ = fact1: もしこのＢＢが水攻めでない一方でそれが受け入れ難いならばその工業化段階は見分け難くない fact2: このＢＢは受け入れ難いか裁ち落とさない fact3: もしその工業化段階が経験するしおまけに浮くとするとこの自己中心主義はパトロールする fact4: 仮に「この自己中心主義は受け入れ難い」ということは成り立つとするとそれは承認する fact5: もしもその工業化段階が経験するけどそれが浮かないならばあの自己中心主義はパトロールする fact6: この自己中心主義は承認しないかもしくは裁ち落とすかあるいは両方ともだ fact7: このＢＢは水攻めでないけど受け入れ難い fact8: もし仮にこのＢＢが水攻めで更に受け入れ難いとするとその工業化段階は見分け難くない fact9: 「その工業化段階は経験するししかも浮く」ということは間違っている fact10: もし仮にこの自己中心主義が承認しないかまたは裁ち落とさないか両方ともだとすればその京浜急行はソテーしない fact11: もしも「その工業化段階は経験するけど浮かない」ということは嘘だとすればそれは見分け難い fact12: もしこの自己中心主義がパトロールすれば承認しないかまたは裁ち落とさない ; $hypothesis$ = その京浜急行はソテーしない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その工業化段階は経験するけれど浮かない」ということは成り立たない; fact11 & assump1 -> int1: その工業化段階は見分け難い; fact1 & fact7 -> int2: その工業化段階は見分け難くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その工業化段階は経験するがしかし浮かない; int4 & fact5 -> int5: この自己中心主義はパトロールする; int5 & fact12 -> int6: この自己中心主義は承認するということはないかあるいは裁ち落とすということはないかあるいは両方ともだ; int6 & fact10 -> hypothesis; __PROVED__
事実1: もしこのＢＢが水攻めでない一方でそれが受け入れ難いならばその工業化段階は見分け難くない
事実2: このＢＢは受け入れ難いか裁ち落とさない
事実3: もしその工業化段階が経験するしおまけに浮くとするとこの自己中心主義はパトロールする
事実4: 仮に「この自己中心主義は受け入れ難い」ということは成り立つとするとそれは承認する
事実5: もしもその工業化段階が経験するけどそれが浮かないならばあの自己中心主義はパトロールする
事実6: この自己中心主義は承認しないかもしくは裁ち落とすかあるいは両方ともだ
事実7: このＢＢは水攻めでないけど受け入れ難い
事実8: もし仮にこのＢＢが水攻めで更に受け入れ難いとするとその工業化段階は見分け難くない
事実9: 「その工業化段階は経験するししかも浮く」ということは間違っている
事実10: もし仮にこの自己中心主義が承認しないかまたは裁ち落とさないか両方ともだとすればその京浜急行はソテーしない
事実11: もしも「その工業化段階は経験するけど浮かない」ということは嘘だとすればそれは見分け難い
事実12: もしこの自己中心主義がパトロールすれば承認しないかまたは裁ち落とさない

仮説: その京浜急行はソテーしない
1. 仮定1: 以下のように仮定する。「その工業化段階は経験するけれど浮かない」ということは成り立たない
2. 事実11と仮定1から、推論1: "その工業化段階は見分け難い"が導かれる
3. 事実1と事実7から、推論2: "その工業化段階は見分け難くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その工業化段階は経験するがしかし浮かない"が導かれる
6. 推論4と事実5から、推論5: "この自己中心主義はパトロールする"が導かれる
7. 推論5と事実12から、推論6: "この自己中心主義は承認するということはないかあるいは裁ち落とすということはないかあるいは両方ともだ"が導かれる
8. 推論6と事実10から、仮説が導かれる

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