もしそのパートナー関係は武力介入でないとすると「「その中項目はうら若しないしさらに返り討ちだということはない」ということは偽でない」ということは事実と異なる
fact1: もし仮にあの風土病は痩せ細らないとすると「築き難いけど武力介入でない」ということは成り立たない fact2: 仮にあの風土病が痩せ細るならあの手筈はうら若し fact3: もしもあの風土病が殴り付けるとするとあの手筈はうら若し fact4: もしもあの風土病が捨て切れるとすればそれは築き難い fact5: 「「うら若ししかつ痩せ細る」ということは事実でない」物はある fact6: 仮にとある物が捨て切れないなら痩せ細るかまたは殴り付ける fact7: もし仮にあの風土病は築き難いなら「そのパートナー関係は武力介入だ」ということは成り立つ fact8: もしもあの手筈はうら若しとすれば「その中項目がうら若しないしさらに返り討ちでない」ということは成り立たない
void -> assump2: 以下のように仮定する。あの風土病は捨て切れる; fact4 & assump2 -> int1: あの風土病は築き難い; int1 & fact7 -> int2: そのパートナー関係は武力介入だ; void -> assump1: 以下のように仮定する。そのパートナー関係は武力介入でない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの風土病は捨て切れない; fact6 -> int5: もしもあの風土病が捨て切れないとすればそれは痩せ細るかあるいは殴り付けるか両方ともである; int4 & int5 -> int6: あの風土病は痩せ細るかまたは殴り付けるかまたは両方ともだ; int6 & fact2 & fact3 -> int7: あの手筈はうら若し; int7 & fact8 -> int8: 「その中項目はうら若しないしまたそれは返り討ちでない」ということは間違いだ; [assump1] & int8 -> hypothesis;
その押し出し麺は殴り付ける
$facts$ = fact1: もし仮にあの風土病は痩せ細らないとすると「築き難いけど武力介入でない」ということは成り立たない fact2: 仮にあの風土病が痩せ細るならあの手筈はうら若し fact3: もしもあの風土病が殴り付けるとするとあの手筈はうら若し fact4: もしもあの風土病が捨て切れるとすればそれは築き難い fact5: 「「うら若ししかつ痩せ細る」ということは事実でない」物はある fact6: 仮にとある物が捨て切れないなら痩せ細るかまたは殴り付ける fact7: もし仮にあの風土病は築き難いなら「そのパートナー関係は武力介入だ」ということは成り立つ fact8: もしもあの手筈はうら若しとすれば「その中項目がうら若しないしさらに返り討ちでない」ということは成り立たない ; $hypothesis$ = もしそのパートナー関係は武力介入でないとすると「「その中項目はうら若しないしさらに返り討ちだということはない」ということは偽でない」ということは事実と異なる ; $proof$ = 
void -> assump2: 以下のように仮定する。あの風土病は捨て切れる; fact4 & assump2 -> int1: あの風土病は築き難い; int1 & fact7 -> int2: そのパートナー関係は武力介入だ; void -> assump1: 以下のように仮定する。そのパートナー関係は武力介入でない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの風土病は捨て切れない; fact6 -> int5: もしもあの風土病が捨て切れないとすればそれは痩せ細るかあるいは殴り付けるか両方ともである; int4 & int5 -> int6: あの風土病は痩せ細るかまたは殴り付けるかまたは両方ともだ; int6 & fact2 & fact3 -> int7: あの手筈はうら若し; int7 & fact8 -> int8: 「その中項目はうら若しないしまたそれは返り討ちでない」ということは間違いだ; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし仮にあの風土病は痩せ細らないとすると「築き難いけど武力介入でない」ということは成り立たない
事実2: 仮にあの風土病が痩せ細るならあの手筈はうら若し
事実3: もしもあの風土病が殴り付けるとするとあの手筈はうら若し
事実4: もしもあの風土病が捨て切れるとすればそれは築き難い
事実5: 「「うら若ししかつ痩せ細る」ということは事実でない」物はある
事実6: 仮にとある物が捨て切れないなら痩せ細るかまたは殴り付ける
事実7: もし仮にあの風土病は築き難いなら「そのパートナー関係は武力介入だ」ということは成り立つ
事実8: もしもあの手筈はうら若しとすれば「その中項目がうら若しないしさらに返り討ちでない」ということは成り立たない

仮説: もしそのパートナー関係は武力介入でないとすると「「その中項目はうら若しないしさらに返り討ちだということはない」ということは偽でない」ということは事実と異なる
1. 仮定2: 以下のように仮定する。あの風土病は捨て切れる
2. 事実4と仮定2から、推論1: "あの風土病は築き難い"が導かれる
3. 推論1と事実7から、推論2: "そのパートナー関係は武力介入だ"が導かれる
4. 仮定1: 以下のように仮定する。そのパートナー関係は武力介入でない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "あの風土病は捨て切れない"が導かれる
7. 事実6から、推論5: "もしもあの風土病が捨て切れないとすればそれは痩せ細るかあるいは殴り付けるか両方ともである"が導かれる
8. 推論4と推論5から、推論6: "あの風土病は痩せ細るかまたは殴り付けるかまたは両方ともだ"が導かれる
9. 推論6と事実2と事実3から、推論7: "あの手筈はうら若し"が導かれる
10. 推論7と事実8から、推論8: "「その中項目はうら若しないしまたそれは返り討ちでない」ということは間違いだ"が導かれる
11. [仮定1]と推論8から、仮説が導かれる

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