このプリンキピアは一把稲でないかもしくはそれは勝ち易くないかあるいはどちらもだ
fact1: もし「このプリンキピアは一把稲であるかそれは勝ち易くないか両方である」ということは誤っているとするとそれは申述しない fact2: もしも「その株式公開は冷め遣るけどそれは申述しない」ということは偽だとしたら「あのビデオ・カメラは甲斐甲斐しかない」ということは正しい fact3: 「仮に「あのビデオ・カメラは甲斐甲斐しかない」ということは成り立つとすると「このプリンキピアは一把稲でないかもしくはそれは勝ち易くないかまたは両方である」ということは事実と異なる」ということは誤りであるということはない fact4: 「このプリンキピアは一把稲でないかもしくは勝ち易くないかどちらもだ」ということは偽だとすると申述しない fact5: もしもこのプリンキピアが甲斐甲斐しいとすると申述する fact6: このプリンキピアは甲斐甲斐しい fact7: 仮に「このプリンキピアは甲斐甲斐しいということはない一方で申述する」ということは間違っているとするとあの定義規定等は申述しない fact8: このプリンキピアは一把稲である fact9: もしも「「手荒くないし冷め遣らない」ということは誤っている」物はあれば「このプリンキピアは冷め遣らない」ということは間違っている
void -> assump1: 以下のように仮定する。「このプリンキピアは一把稲でないかあるいは勝ち易くないかもしくは両方ともだ」ということは成り立たない; fact4 & assump1 -> int1: このプリンキピアは申述しない; fact6 & fact5 -> int2: このプリンキピアは申述する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの定義規定等は申述するということはない
$facts$ = fact1: もし「このプリンキピアは一把稲であるかそれは勝ち易くないか両方である」ということは誤っているとするとそれは申述しない fact2: もしも「その株式公開は冷め遣るけどそれは申述しない」ということは偽だとしたら「あのビデオ・カメラは甲斐甲斐しかない」ということは正しい fact3: 「仮に「あのビデオ・カメラは甲斐甲斐しかない」ということは成り立つとすると「このプリンキピアは一把稲でないかもしくはそれは勝ち易くないかまたは両方である」ということは事実と異なる」ということは誤りであるということはない fact4: 「このプリンキピアは一把稲でないかもしくは勝ち易くないかどちらもだ」ということは偽だとすると申述しない fact5: もしもこのプリンキピアが甲斐甲斐しいとすると申述する fact6: このプリンキピアは甲斐甲斐しい fact7: 仮に「このプリンキピアは甲斐甲斐しいということはない一方で申述する」ということは間違っているとするとあの定義規定等は申述しない fact8: このプリンキピアは一把稲である fact9: もしも「「手荒くないし冷め遣らない」ということは誤っている」物はあれば「このプリンキピアは冷め遣らない」ということは間違っている ; $hypothesis$ = このプリンキピアは一把稲でないかもしくはそれは勝ち易くないかあるいはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「このプリンキピアは一把稲でないかあるいは勝ち易くないかもしくは両方ともだ」ということは成り立たない; fact4 & assump1 -> int1: このプリンキピアは申述しない; fact6 & fact5 -> int2: このプリンキピアは申述する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし「このプリンキピアは一把稲であるかそれは勝ち易くないか両方である」ということは誤っているとするとそれは申述しない
事実2: もしも「その株式公開は冷め遣るけどそれは申述しない」ということは偽だとしたら「あのビデオ・カメラは甲斐甲斐しかない」ということは正しい
事実3: 「仮に「あのビデオ・カメラは甲斐甲斐しかない」ということは成り立つとすると「このプリンキピアは一把稲でないかもしくはそれは勝ち易くないかまたは両方である」ということは事実と異なる」ということは誤りであるということはない
事実4: 「このプリンキピアは一把稲でないかもしくは勝ち易くないかどちらもだ」ということは偽だとすると申述しない
事実5: もしもこのプリンキピアが甲斐甲斐しいとすると申述する
事実6: このプリンキピアは甲斐甲斐しい
事実7: 仮に「このプリンキピアは甲斐甲斐しいということはない一方で申述する」ということは間違っているとするとあの定義規定等は申述しない
事実8: このプリンキピアは一把稲である
事実9: もしも「「手荒くないし冷め遣らない」ということは誤っている」物はあれば「このプリンキピアは冷め遣らない」ということは間違っている

仮説: このプリンキピアは一把稲でないかもしくはそれは勝ち易くないかあるいはどちらもだ
1. 仮定1: 以下のように仮定する。「このプリンキピアは一把稲でないかあるいは勝ち易くないかもしくは両方ともだ」ということは成り立たない
2. 事実4と仮定1から、推論1: "このプリンキピアは申述しない"が導かれる
3. 事実6と事実5から、推論2: "このプリンキピアは申述する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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