このプラス方向はフォー文である
fact1: もし仮にこのプラス方向は手堅いとしたら「買い易くなくて加えて甘みでない」ということは間違いだ fact2: もしもあの済生は反戦であるとすると「このプラス方向は買い易くないしその上甘みでない」ということは間違っていない fact3: あの済生は反戦である fact4: もし仮にあるものが手堅くないかまたは巨体であるならばそれはフォー文である
void -> assump1: 以下のように仮定する。このプラス方向は手堅い; fact1 & assump1 -> int1: 「このプラス方向は買い易くなくてその上それは甘みでない」ということは成り立たない; fact2 & fact3 -> int2: このプラス方向は買い易いということはなくてかつ甘みでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このプラス方向は手堅くない; int4 -> int5: このプラス方向は手堅くないかあるいはそれは巨体だ; fact4 -> int6: このプラス方向が手堅くないかもしくはそれは巨体であるかもしくは両方ともであるとしたら「それはフォー文である」ということは成り立つ; int5 & int6 -> hypothesis;
$facts$ = fact1: もし仮にこのプラス方向は手堅いとしたら「買い易くなくて加えて甘みでない」ということは間違いだ fact2: もしもあの済生は反戦であるとすると「このプラス方向は買い易くないしその上甘みでない」ということは間違っていない fact3: あの済生は反戦である fact4: もし仮にあるものが手堅くないかまたは巨体であるならばそれはフォー文である ; $hypothesis$ = このプラス方向はフォー文である ; $proof$ = 
void -> assump1: 以下のように仮定する。このプラス方向は手堅い; fact1 & assump1 -> int1: 「このプラス方向は買い易くなくてその上それは甘みでない」ということは成り立たない; fact2 & fact3 -> int2: このプラス方向は買い易いということはなくてかつ甘みでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このプラス方向は手堅くない; int4 -> int5: このプラス方向は手堅くないかあるいはそれは巨体だ; fact4 -> int6: このプラス方向が手堅くないかもしくはそれは巨体であるかもしくは両方ともであるとしたら「それはフォー文である」ということは成り立つ; int5 & int6 -> hypothesis; __PROVED__
事実1: もし仮にこのプラス方向は手堅いとしたら「買い易くなくて加えて甘みでない」ということは間違いだ
事実2: もしもあの済生は反戦であるとすると「このプラス方向は買い易くないしその上甘みでない」ということは間違っていない
事実3: あの済生は反戦である
事実4: もし仮にあるものが手堅くないかまたは巨体であるならばそれはフォー文である

仮説: このプラス方向はフォー文である
1. 仮定1: 以下のように仮定する。このプラス方向は手堅い
2. 事実1と仮定1から、推論1: "「このプラス方向は買い易くなくてその上それは甘みでない」ということは成り立たない"が導かれる
3. 事実2と事実3から、推論2: "このプラス方向は買い易いということはなくてかつ甘みでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このプラス方向は手堅くない"が導かれる
6. 推論4から、推論5: "このプラス方向は手堅くないかあるいはそれは巨体だ"が導かれる
7. 事実4から、推論6: "このプラス方向が手堅くないかもしくはそれは巨体であるかもしくは両方ともであるとしたら「それはフォー文である」ということは成り立つ"が導かれる
8. 推論5と推論6から、仮説が導かれる

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