「この関係規定は後ろ暗い」ということは事実だ
fact1: 置き易くない物は金属ナノチューブだけれどちょろくない fact2: もしもなにがしかの物は金属ナノチューブでないなら限り無くない一方でパシボである fact3: あの御尋ね者は破壊出来ないけれどそれは変型する fact4: この関係規定は限り無いということはない一方でそれは破壊出来る fact5: 仮にこの関係規定が限り無くない一方でそれが破壊出来るなら後ろ暗い fact6: この関係規定は破壊出来る fact7: もし仮にあの敵戦艦が金属ナノチューブであるけどちょろくないとするとこの関係規定は後ろ暗いということはない
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
この関係規定は後ろ暗くない
fact8 -> int1: もしもあの敵戦艦が置き易くないならばそれは金属ナノチューブであるけれどちょろくない;
$facts$ = fact1: 置き易くない物は金属ナノチューブだけれどちょろくない fact2: もしもなにがしかの物は金属ナノチューブでないなら限り無くない一方でパシボである fact3: あの御尋ね者は破壊出来ないけれどそれは変型する fact4: この関係規定は限り無いということはない一方でそれは破壊出来る fact5: 仮にこの関係規定が限り無くない一方でそれが破壊出来るなら後ろ暗い fact6: この関係規定は破壊出来る fact7: もし仮にあの敵戦艦が金属ナノチューブであるけどちょろくないとするとこの関係規定は後ろ暗いということはない ; $hypothesis$ = 「この関係規定は後ろ暗い」ということは事実だ ; $proof$ = 
fact5 & fact4 -> hypothesis; __PROVED__
事実1: 置き易くない物は金属ナノチューブだけれどちょろくない
事実2: もしもなにがしかの物は金属ナノチューブでないなら限り無くない一方でパシボである
事実3: あの御尋ね者は破壊出来ないけれどそれは変型する
事実4: この関係規定は限り無いということはない一方でそれは破壊出来る
事実5: 仮にこの関係規定が限り無くない一方でそれが破壊出来るなら後ろ暗い
事実6: この関係規定は破壊出来る
事実7: もし仮にあの敵戦艦が金属ナノチューブであるけどちょろくないとするとこの関係規定は後ろ暗いということはない

仮説: 「この関係規定は後ろ暗い」ということは事実だ
1. 事実5と事実4から、仮説が導かれる

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