あのオープン化は拒絶出来る
fact1: 仮にあの墨絵が詫びるならあのオープン化は評定する fact2: 「何らかのものは詫びない一方で電送する」ということは偽ならばそれは詫びる fact3: もしもこの保守管理が拒絶出来るがしかし武勲だということはないならそのプリントプリセットは武勲だ fact4: もしも「その診査医は流る」ということは確かなら「あの墨絵は詫びないがしかし電送する」ということは間違いである fact5: あのオープン化は武勲だとすると「この保守管理は拒絶出来る」ということは正しい fact6: この保守管理が武勲であるならあのオープン化は拒絶出来る fact7: この保守管理は武勲である fact8: もし仮にこの保守管理が拒絶出来ないが武勲であるならばあのオープン化は拒絶出来ない fact9: なにがしかの物は選択必修科目でないなら拒絶出来ないが武勲だ fact10: もしあのオープン化が評定するならこの保守管理は選択必修科目である fact11: あらゆる物は詫びない
fact6 & fact7 -> hypothesis;
fact6 & fact7 -> hypothesis;
そのプリントプリセットは武勲だ
fact15 -> int1: 「あの墨絵は詫びないけど電送する」ということは誤っているとすれば詫びる;
$facts$ = fact1: 仮にあの墨絵が詫びるならあのオープン化は評定する fact2: 「何らかのものは詫びない一方で電送する」ということは偽ならばそれは詫びる fact3: もしもこの保守管理が拒絶出来るがしかし武勲だということはないならそのプリントプリセットは武勲だ fact4: もしも「その診査医は流る」ということは確かなら「あの墨絵は詫びないがしかし電送する」ということは間違いである fact5: あのオープン化は武勲だとすると「この保守管理は拒絶出来る」ということは正しい fact6: この保守管理が武勲であるならあのオープン化は拒絶出来る fact7: この保守管理は武勲である fact8: もし仮にこの保守管理が拒絶出来ないが武勲であるならばあのオープン化は拒絶出来ない fact9: なにがしかの物は選択必修科目でないなら拒絶出来ないが武勲だ fact10: もしあのオープン化が評定するならこの保守管理は選択必修科目である fact11: あらゆる物は詫びない ; $hypothesis$ = あのオープン化は拒絶出来る ; $proof$ = 
fact6 & fact7 -> hypothesis; __PROVED__
事実1: 仮にあの墨絵が詫びるならあのオープン化は評定する
事実2: 「何らかのものは詫びない一方で電送する」ということは偽ならばそれは詫びる
事実3: もしもこの保守管理が拒絶出来るがしかし武勲だということはないならそのプリントプリセットは武勲だ
事実4: もしも「その診査医は流る」ということは確かなら「あの墨絵は詫びないがしかし電送する」ということは間違いである
事実5: あのオープン化は武勲だとすると「この保守管理は拒絶出来る」ということは正しい
事実6: この保守管理が武勲であるならあのオープン化は拒絶出来る
事実7: この保守管理は武勲である
事実8: もし仮にこの保守管理が拒絶出来ないが武勲であるならばあのオープン化は拒絶出来ない
事実9: なにがしかの物は選択必修科目でないなら拒絶出来ないが武勲だ
事実10: もしあのオープン化が評定するならこの保守管理は選択必修科目である
事実11: あらゆる物は詫びない

仮説: あのオープン化は拒絶出来る
1. 事実6と事実7から、仮説が導かれる

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