あの飛び切りは名状し難い
fact1: あの防具はたわいない fact2: もし仮にとあるものは人間っぽいなら「それはたわいないということはないかあるいはそれは心強くないかあるいは両方ともだ」ということは成り立たない fact3: 人間っぽくない物は名状し難い一方で心強くない fact4: あの飛び切りは名状し難いしたわいない fact5: もしもこの夜間授業が弾き飛ばすとするとその大機械は呼び掛ける fact6: 仮になんらかの物は塩水でないししかも捨てないとすれば弾き飛ばす fact7: もし「なにがしかのものはたわいなくないか心強くないかもしくはどちらもだ」ということは間違いであるならば「名状し難くない」ということは成り立つ fact8: その大機械が呼び掛ければあの飛び切りは人間っぽい
fact4 -> hypothesis;
fact4 -> hypothesis;
あの飛び切りは名状し難いということはない
fact11 -> int1: もし仮に「あの飛び切りはたわいなくないか心強くないかもしくは両方ともである」ということは成り立たないとすれば名状し難くない; fact10 -> int2: もし仮にあの飛び切りは人間っぽいなら「それはたわいなくないかもしくは心強くないかどちらもである」ということは確かでない; fact13 -> int3: もしもこの夜間授業は塩水であるということはなくて捨てないとしたら弾き飛ばす;
$facts$ = fact1: あの防具はたわいない fact2: もし仮にとあるものは人間っぽいなら「それはたわいないということはないかあるいはそれは心強くないかあるいは両方ともだ」ということは成り立たない fact3: 人間っぽくない物は名状し難い一方で心強くない fact4: あの飛び切りは名状し難いしたわいない fact5: もしもこの夜間授業が弾き飛ばすとするとその大機械は呼び掛ける fact6: 仮になんらかの物は塩水でないししかも捨てないとすれば弾き飛ばす fact7: もし「なにがしかのものはたわいなくないか心強くないかもしくはどちらもだ」ということは間違いであるならば「名状し難くない」ということは成り立つ fact8: その大機械が呼び掛ければあの飛び切りは人間っぽい ; $hypothesis$ = あの飛び切りは名状し難い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あの防具はたわいない
事実2: もし仮にとあるものは人間っぽいなら「それはたわいないということはないかあるいはそれは心強くないかあるいは両方ともだ」ということは成り立たない
事実3: 人間っぽくない物は名状し難い一方で心強くない
事実4: あの飛び切りは名状し難いしたわいない
事実5: もしもこの夜間授業が弾き飛ばすとするとその大機械は呼び掛ける
事実6: 仮になんらかの物は塩水でないししかも捨てないとすれば弾き飛ばす
事実7: もし「なにがしかのものはたわいなくないか心強くないかもしくはどちらもだ」ということは間違いであるならば「名状し難くない」ということは成り立つ
事実8: その大機械が呼び掛ければあの飛び切りは人間っぽい

仮説: あの飛び切りは名状し難い
1. 事実4から、仮説が導かれる

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