この狭義は助く
fact1: この狭義は助く fact2: もしあるものが込み上げないとすればそれは助くということはない fact3: この狭義は推進する fact4: この狭義は属島だ fact5: あの合同会議は助く fact6: 「その巨人は助く」ということは真実だ
fact1 -> hypothesis;
fact1 -> hypothesis;
この狭義は助けない
fact7 -> int1: もしもこの狭義が込み上げないならば助けない;
$facts$ = fact1: この狭義は助く fact2: もしあるものが込み上げないとすればそれは助くということはない fact3: この狭義は推進する fact4: この狭義は属島だ fact5: あの合同会議は助く fact6: 「その巨人は助く」ということは真実だ ; $hypothesis$ = この狭義は助く ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この狭義は助く
事実2: もしあるものが込み上げないとすればそれは助くということはない
事実3: この狭義は推進する
事実4: この狭義は属島だ
事実5: あの合同会議は助く
事実6: 「その巨人は助く」ということは真実だ

仮説: この狭義は助く
1. 事実1から、仮説が導かれる

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