そのミッション・ホスピタルは攻めるということはない
fact1: そのミッション・ホスピタルは旅客ターミナルでない fact2: 「その会計検査院法は攻めない」ということは本当である fact3: 仮にあの明晰が有り難しとすればそのミッション・ホスピタルは攻めない fact4: そのミッション・ホスピタルは長細くない fact5: そのミッション・ホスピタルは笑い合う fact6: その生活向上は攻めない fact7: 「その誕生期は脾摘しないけど規定す」ということは成り立たない fact8: もしも「あの明晰は攻める」ということは間違っていないならばそのヘリカルＣＴは有り難し fact9: あのテイク・ファイブは攻めるということはない fact10: そのミッション・ホスピタルは有り難し fact11: あの明晰は攻める fact12: あの明晰は有り難し
fact3 & fact12 -> hypothesis;
fact3 & fact12 -> hypothesis;
そのミッション・ホスピタルは攻める
fact13 -> int1: 「「脾摘しない一方で規定す」ということは成り立たない」物はある;
$facts$ = fact1: そのミッション・ホスピタルは旅客ターミナルでない fact2: 「その会計検査院法は攻めない」ということは本当である fact3: 仮にあの明晰が有り難しとすればそのミッション・ホスピタルは攻めない fact4: そのミッション・ホスピタルは長細くない fact5: そのミッション・ホスピタルは笑い合う fact6: その生活向上は攻めない fact7: 「その誕生期は脾摘しないけど規定す」ということは成り立たない fact8: もしも「あの明晰は攻める」ということは間違っていないならばそのヘリカルＣＴは有り難し fact9: あのテイク・ファイブは攻めるということはない fact10: そのミッション・ホスピタルは有り難し fact11: あの明晰は攻める fact12: あの明晰は有り難し ; $hypothesis$ = そのミッション・ホスピタルは攻めるということはない ; $proof$ = 
fact3 & fact12 -> hypothesis; __PROVED__
事実1: そのミッション・ホスピタルは旅客ターミナルでない
事実2: 「その会計検査院法は攻めない」ということは本当である
事実3: 仮にあの明晰が有り難しとすればそのミッション・ホスピタルは攻めない
事実4: そのミッション・ホスピタルは長細くない
事実5: そのミッション・ホスピタルは笑い合う
事実6: その生活向上は攻めない
事実7: 「その誕生期は脾摘しないけど規定す」ということは成り立たない
事実8: もしも「あの明晰は攻める」ということは間違っていないならばそのヘリカルＣＴは有り難し
事実9: あのテイク・ファイブは攻めるということはない
事実10: そのミッション・ホスピタルは有り難し
事実11: あの明晰は攻める
事実12: あの明晰は有り難し

仮説: そのミッション・ホスピタルは攻めるということはない
1. 事実3と事実12から、仮説が導かれる

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