この乱流はバリアフィルムである
fact1: その二ダイブは国前王である fact2: もし仮に「その該当部分は国前王でない」ということは確かなら「その二ダイブは中途半端である」ということは正しい fact3: もし仮に「その該当部分は差し支えないかまたは国前王でないかあるいは両方だ」ということは事実であるとするとその二ダイブは中途半端だ fact4: その二ダイブは据え付ける fact5: その該当部分はバリアフィルムでないかまたはそれは国前王でない fact6: もし仮に「何らかのものはバリアフィルムであるし中途半端である」ということは成り立たないならば「バリアフィルムでない」ということは正しい fact7: この乱流が中途半端でないかまたは国前王でないかもしくは両方だとしたらその該当部分はバリアフィルムだ fact8: その該当部分は差し支えるということはないかあるいは国前王だ fact9: もしもその二ダイブが中途半端だとすればこの乱流はバリアフィルムである fact10: 「もし仮にこの乱流が中途半端でないかあるいはそれが差し支えないとしたらその該当部分はバリアフィルムだ」ということは確かだ fact11: その該当部分は差し支えないかもしくは国前王でないか両方である fact12: もし仮に「この乱流はバリアフィルムでないか差し支えないかあるいは両方ともだ」ということは成り立つならその該当部分は国前王である
fact3 & fact11 -> int1: その二ダイブは中途半端だ; int1 & fact9 -> hypothesis;
この乱流はバリアフィルムでない
fact13 -> int2: 仮に「この乱流はバリアフィルムでしかも中途半端である」ということは嘘ならばバリアフィルムでない;
$facts$ = fact1: その二ダイブは国前王である fact2: もし仮に「その該当部分は国前王でない」ということは確かなら「その二ダイブは中途半端である」ということは正しい fact3: もし仮に「その該当部分は差し支えないかまたは国前王でないかあるいは両方だ」ということは事実であるとするとその二ダイブは中途半端だ fact4: その二ダイブは据え付ける fact5: その該当部分はバリアフィルムでないかまたはそれは国前王でない fact6: もし仮に「何らかのものはバリアフィルムであるし中途半端である」ということは成り立たないならば「バリアフィルムでない」ということは正しい fact7: この乱流が中途半端でないかまたは国前王でないかもしくは両方だとしたらその該当部分はバリアフィルムだ fact8: その該当部分は差し支えるということはないかあるいは国前王だ fact9: もしもその二ダイブが中途半端だとすればこの乱流はバリアフィルムである fact10: 「もし仮にこの乱流が中途半端でないかあるいはそれが差し支えないとしたらその該当部分はバリアフィルムだ」ということは確かだ fact11: その該当部分は差し支えないかもしくは国前王でないか両方である fact12: もし仮に「この乱流はバリアフィルムでないか差し支えないかあるいは両方ともだ」ということは成り立つならその該当部分は国前王である ; $hypothesis$ = この乱流はバリアフィルムである ; $proof$ = 
fact3 & fact11 -> int1: その二ダイブは中途半端だ; int1 & fact9 -> hypothesis; __PROVED__
事実1: その二ダイブは国前王である
事実2: もし仮に「その該当部分は国前王でない」ということは確かなら「その二ダイブは中途半端である」ということは正しい
事実3: もし仮に「その該当部分は差し支えないかまたは国前王でないかあるいは両方だ」ということは事実であるとするとその二ダイブは中途半端だ
事実4: その二ダイブは据え付ける
事実5: その該当部分はバリアフィルムでないかまたはそれは国前王でない
事実6: もし仮に「何らかのものはバリアフィルムであるし中途半端である」ということは成り立たないならば「バリアフィルムでない」ということは正しい
事実7: この乱流が中途半端でないかまたは国前王でないかもしくは両方だとしたらその該当部分はバリアフィルムだ
事実8: その該当部分は差し支えるということはないかあるいは国前王だ
事実9: もしもその二ダイブが中途半端だとすればこの乱流はバリアフィルムである
事実10: 「もし仮にこの乱流が中途半端でないかあるいはそれが差し支えないとしたらその該当部分はバリアフィルムだ」ということは確かだ
事実11: その該当部分は差し支えないかもしくは国前王でないか両方である
事実12: もし仮に「この乱流はバリアフィルムでないか差し支えないかあるいは両方ともだ」ということは成り立つならその該当部分は国前王である

仮説: この乱流はバリアフィルムである
1. 事実3と事実11から、推論1: "その二ダイブは中途半端だ"が導かれる
2. 推論1と事実9から、仮説が導かれる

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