その彼岸花は身体障害児だ
fact1: その彼岸花は二品目である fact2: その彼岸花は植え継ぐ fact3: もしこの複素表示は電話加入権でないとしたら「「あの菫色は散華するかエレベータだということはないか両方である」ということは真実だ」ということは誤っている fact4: あの商品交換は身体障害児だ fact5: もし仮にその彼岸花が錆びればその時間切れは身体障害児である fact6: 「あの菫色は散華するかもしくはそれはエレベータでない」ということは成り立たないとするとそのダブルリーチは勝たない fact7: もし仮にそのダブルリーチが勝たないならその愛児は利用技術でないけど気持ち良い fact8: その観客動員力は身体障害児である fact9: このダンクシュートは身体障害児である fact10: その彼岸花は身体障害児である
fact10 -> hypothesis;
fact10 -> hypothesis;
「その時間切れは身体障害児である」ということは本当である
$facts$ = fact1: その彼岸花は二品目である fact2: その彼岸花は植え継ぐ fact3: もしこの複素表示は電話加入権でないとしたら「「あの菫色は散華するかエレベータだということはないか両方である」ということは真実だ」ということは誤っている fact4: あの商品交換は身体障害児だ fact5: もし仮にその彼岸花が錆びればその時間切れは身体障害児である fact6: 「あの菫色は散華するかもしくはそれはエレベータでない」ということは成り立たないとするとそのダブルリーチは勝たない fact7: もし仮にそのダブルリーチが勝たないならその愛児は利用技術でないけど気持ち良い fact8: その観客動員力は身体障害児である fact9: このダンクシュートは身体障害児である fact10: その彼岸花は身体障害児である ; $hypothesis$ = その彼岸花は身体障害児だ ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: その彼岸花は二品目である
事実2: その彼岸花は植え継ぐ
事実3: もしこの複素表示は電話加入権でないとしたら「「あの菫色は散華するかエレベータだということはないか両方である」ということは真実だ」ということは誤っている
事実4: あの商品交換は身体障害児だ
事実5: もし仮にその彼岸花が錆びればその時間切れは身体障害児である
事実6: 「あの菫色は散華するかもしくはそれはエレベータでない」ということは成り立たないとするとそのダブルリーチは勝たない
事実7: もし仮にそのダブルリーチが勝たないならその愛児は利用技術でないけど気持ち良い
事実8: その観客動員力は身体障害児である
事実9: このダンクシュートは身体障害児である
事実10: その彼岸花は身体障害児である

仮説: その彼岸花は身体障害児だ
1. 事実10から、仮説が導かれる

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