あのプラスイメージは御叱るかそれは特定取得株式等でないか両方だ
fact1: その備えは輸送船でない fact2: 「その備えは御叱らない」ということは本当である fact3: 古しない物は輸送船であるしかつ易しい fact4: その備えは輸送船であるかまたはそれは御叱らないかまたは両方ともだ fact5: もしもその備えが輸送船だということはないならばあのプラスイメージは御叱るかまたはそれは特定取得株式等でないかまたは両方だ fact6: もし「とある物は仰け反らなくて加えて指摘すらない」ということは本当だということはないとすると古しない fact7: あのプラスイメージは御叱るかそれは特定取得株式等だ fact8: もし仮に「その備えは輸送船でない」ということは偽でないならばあのプラスイメージは御叱るかあるいは特定取得株式等であるかもしくは両方だ fact9: あの結婚願望は特定取得株式等であるかそれは請じ入れない fact10: もしもある物は輸送船ならば「それは御叱るかまたはそれは特定取得株式等でない」ということは成り立たない fact11: あのプラスイメージは御叱るかまたは輸送船であるかまたは両方である
fact5 & fact1 -> hypothesis;
「あのプラスイメージは御叱るかまたは特定取得株式等でないか両方ともである」ということは成り立たない
fact12 -> int1: 仮にあのプラスイメージは輸送船なら「それは御叱るかまたは特定取得株式等でない」ということは成り立つということはない; fact13 -> int2: あのプラスイメージが古しないならそれは輸送船であるしかつ易しい; fact14 -> int3: もし仮に「あのプラスイメージは仰け反らないし指摘すらない」ということは間違いであるとすると古しない;
$facts$ = fact1: その備えは輸送船でない fact2: 「その備えは御叱らない」ということは本当である fact3: 古しない物は輸送船であるしかつ易しい fact4: その備えは輸送船であるかまたはそれは御叱らないかまたは両方ともだ fact5: もしもその備えが輸送船だということはないならばあのプラスイメージは御叱るかまたはそれは特定取得株式等でないかまたは両方だ fact6: もし「とある物は仰け反らなくて加えて指摘すらない」ということは本当だということはないとすると古しない fact7: あのプラスイメージは御叱るかそれは特定取得株式等だ fact8: もし仮に「その備えは輸送船でない」ということは偽でないならばあのプラスイメージは御叱るかあるいは特定取得株式等であるかもしくは両方だ fact9: あの結婚願望は特定取得株式等であるかそれは請じ入れない fact10: もしもある物は輸送船ならば「それは御叱るかまたはそれは特定取得株式等でない」ということは成り立たない fact11: あのプラスイメージは御叱るかまたは輸送船であるかまたは両方である ; $hypothesis$ = あのプラスイメージは御叱るかそれは特定取得株式等でないか両方だ ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: その備えは輸送船でない
事実2: 「その備えは御叱らない」ということは本当である
事実3: 古しない物は輸送船であるしかつ易しい
事実4: その備えは輸送船であるかまたはそれは御叱らないかまたは両方ともだ
事実5: もしもその備えが輸送船だということはないならばあのプラスイメージは御叱るかまたはそれは特定取得株式等でないかまたは両方だ
事実6: もし「とある物は仰け反らなくて加えて指摘すらない」ということは本当だということはないとすると古しない
事実7: あのプラスイメージは御叱るかそれは特定取得株式等だ
事実8: もし仮に「その備えは輸送船でない」ということは偽でないならばあのプラスイメージは御叱るかあるいは特定取得株式等であるかもしくは両方だ
事実9: あの結婚願望は特定取得株式等であるかそれは請じ入れない
事実10: もしもある物は輸送船ならば「それは御叱るかまたはそれは特定取得株式等でない」ということは成り立たない
事実11: あのプラスイメージは御叱るかまたは輸送船であるかまたは両方である

仮説: あのプラスイメージは御叱るかそれは特定取得株式等でないか両方だ
1. 事実5と事実1から、仮説が導かれる

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