「もし寒いとすれば「呼び易い」ということは成り立たない」ものはある
fact1: もしもなんらかの物はプロらしいかまたは意気込むとしたらそれはござんさない fact2: もしとあるものが羨ましくないとすればそれは削り落とさない fact3: もしもこの運転免許が寒いとしたらそれは誤解する fact4: もしもなにかは誤解するとするとプロらしい fact5: 仮にこの日系が洋風化するか誤解するかあるいは両方であるとすれば編み込むということはない fact6: あの主導権争いはござんす fact7: もしも「「その盆棚は呼び易くて意気込む」ということは成り立たない」ということは事実だとするとそれは意気込まない fact8: もし仮になにがしかのものが誤解しないとすると扇風機で更に寒い fact9: もしとあるものは意気込むなら「それはござんさない」ということは成り立つ fact10: この制定者はむさくるしくない fact11: この運転免許は置き易いか呼び易いかもしくは両方ともだ fact12: その奏上はござんす fact13: 仮にこの運転免許はナイツでないなら「「「無所属だということはない」ということは成り立つ」ということは間違いだ」ということは確かである fact14: 「もし仮に両舷だとしたら「でかくない」ということは確かである」物はある fact15: もしも何かはござんさないとすると呼び易くない fact16: 「もし「琵琶法師である」ということは成り立つとすると大正期である」ものはある
void -> assump1: 以下のように仮定する。この運転免許は寒い; fact3 & assump1 -> int1: この運転免許は誤解する; fact4 -> int2: もしもこの運転免許が誤解するならプロらしい; int1 & int2 -> int3: この運転免許はプロらしい; int3 -> int4: この運転免許はプロらしいかもしくは意気込むかまたは両方ともである; fact1 -> int5: もし仮にこの運転免許がプロらしいかあるいはそれが意気込むとするとそれはござんさない; int4 & int5 -> int6: この運転免許はござんさない; fact15 -> int7: この運転免許はござんさないならばそれは呼び易くない; int6 & int7 -> int8: この運転免許は呼び易くない; [assump1] & int8 -> int9: もしも「この運転免許は寒い」ということは確かだとすると呼び易くない; int9 -> hypothesis;
その盆棚は扇風機だ
fact17 -> int10: 仮にその盆棚が誤解しないとするとそれが扇風機だし更に寒い;
$facts$ = fact1: もしもなんらかの物はプロらしいかまたは意気込むとしたらそれはござんさない fact2: もしとあるものが羨ましくないとすればそれは削り落とさない fact3: もしもこの運転免許が寒いとしたらそれは誤解する fact4: もしもなにかは誤解するとするとプロらしい fact5: 仮にこの日系が洋風化するか誤解するかあるいは両方であるとすれば編み込むということはない fact6: あの主導権争いはござんす fact7: もしも「「その盆棚は呼び易くて意気込む」ということは成り立たない」ということは事実だとするとそれは意気込まない fact8: もし仮になにがしかのものが誤解しないとすると扇風機で更に寒い fact9: もしとあるものは意気込むなら「それはござんさない」ということは成り立つ fact10: この制定者はむさくるしくない fact11: この運転免許は置き易いか呼び易いかもしくは両方ともだ fact12: その奏上はござんす fact13: 仮にこの運転免許はナイツでないなら「「「無所属だということはない」ということは成り立つ」ということは間違いだ」ということは確かである fact14: 「もし仮に両舷だとしたら「でかくない」ということは確かである」物はある fact15: もしも何かはござんさないとすると呼び易くない fact16: 「もし「琵琶法師である」ということは成り立つとすると大正期である」ものはある ; $hypothesis$ = 「もし寒いとすれば「呼び易い」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この運転免許は寒い; fact3 & assump1 -> int1: この運転免許は誤解する; fact4 -> int2: もしもこの運転免許が誤解するならプロらしい; int1 & int2 -> int3: この運転免許はプロらしい; int3 -> int4: この運転免許はプロらしいかもしくは意気込むかまたは両方ともである; fact1 -> int5: もし仮にこの運転免許がプロらしいかあるいはそれが意気込むとするとそれはござんさない; int4 & int5 -> int6: この運転免許はござんさない; fact15 -> int7: この運転免許はござんさないならばそれは呼び易くない; int6 & int7 -> int8: この運転免許は呼び易くない; [assump1] & int8 -> int9: もしも「この運転免許は寒い」ということは確かだとすると呼び易くない; int9 -> hypothesis; __PROVED__
事実1: もしもなんらかの物はプロらしいかまたは意気込むとしたらそれはござんさない
事実2: もしとあるものが羨ましくないとすればそれは削り落とさない
事実3: もしもこの運転免許が寒いとしたらそれは誤解する
事実4: もしもなにかは誤解するとするとプロらしい
事実5: 仮にこの日系が洋風化するか誤解するかあるいは両方であるとすれば編み込むということはない
事実6: あの主導権争いはござんす
事実7: もしも「「その盆棚は呼び易くて意気込む」ということは成り立たない」ということは事実だとするとそれは意気込まない
事実8: もし仮になにがしかのものが誤解しないとすると扇風機で更に寒い
事実9: もしとあるものは意気込むなら「それはござんさない」ということは成り立つ
事実10: この制定者はむさくるしくない
事実11: この運転免許は置き易いか呼び易いかもしくは両方ともだ
事実12: その奏上はござんす
事実13: 仮にこの運転免許はナイツでないなら「「「無所属だということはない」ということは成り立つ」ということは間違いだ」ということは確かである
事実14: 「もし仮に両舷だとしたら「でかくない」ということは確かである」物はある
事実15: もしも何かはござんさないとすると呼び易くない
事実16: 「もし「琵琶法師である」ということは成り立つとすると大正期である」ものはある

仮説: 「もし寒いとすれば「呼び易い」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。この運転免許は寒い
2. 事実3と仮定1から、推論1: "この運転免許は誤解する"が導かれる
3. 事実4から、推論2: "もしもこの運転免許が誤解するならプロらしい"が導かれる
4. 推論1と推論2から、推論3: "この運転免許はプロらしい"が導かれる
5. 推論3から、推論4: "この運転免許はプロらしいかもしくは意気込むかまたは両方ともである"が導かれる
6. 事実1から、推論5: "もし仮にこの運転免許がプロらしいかあるいはそれが意気込むとするとそれはござんさない"が導かれる
7. 推論4と推論5から、推論6: "この運転免許はござんさない"が導かれる
8. 事実15から、推論7: "この運転免許はござんさないならばそれは呼び易くない"が導かれる
9. 推論6と推論7から、推論8: "この運転免許は呼び易くない"が導かれる
10. [仮定1]と推論8から、推論9: "もしも「この運転免許は寒い」ということは確かだとすると呼び易くない"が導かれる
11. 推論9から、仮説が導かれる

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