「あの既往は以降である」ということは本当である
fact1: もし仮に「以降でない」ものがあるとするとあの既往は親孝行する fact2: 「上納するということはない」ものはある fact3: 「「ファイリング制度である」ということは成り立つ」ものはある fact4: あの既往はファイリング制度である fact5: なんらかのものは以降でない fact6: もし仮に「「ファイリング制度でないかあるいは腹黒いということはない」ということは成り立たない」物があるとすればあの既往は以降でない fact7: もしなんらかの物が外国軍でないならばあの既往は不買運動である fact8: もし「ファイリング制度でない」ものがあるならあのラテン語は維持する fact9: もし「ファイリング制度でない」物があるならばあの既往は首肯出来る fact10: もしもなんらかの物が街道脇でないならこの地位協定は邪魔臭い fact11: 「全身マッサージでない」物はある fact12: 「あの既往は労労じ」ということは正しい fact13: 「ファイリング制度でない」ものはある fact14: 「ファイリング制度でない」物があるとしたらあの既往は以降だ fact15: なにかは気忙しくない fact16: 何らかの物はラクトースでない fact17: もしも「洗い直さない」ものがあるならそのオリジンはファイリング制度である
fact13 & fact14 -> hypothesis;
fact13 & fact14 -> hypothesis;
あの既往は以降でない
$facts$ = fact1: もし仮に「以降でない」ものがあるとするとあの既往は親孝行する fact2: 「上納するということはない」ものはある fact3: 「「ファイリング制度である」ということは成り立つ」ものはある fact4: あの既往はファイリング制度である fact5: なんらかのものは以降でない fact6: もし仮に「「ファイリング制度でないかあるいは腹黒いということはない」ということは成り立たない」物があるとすればあの既往は以降でない fact7: もしなんらかの物が外国軍でないならばあの既往は不買運動である fact8: もし「ファイリング制度でない」ものがあるならあのラテン語は維持する fact9: もし「ファイリング制度でない」物があるならばあの既往は首肯出来る fact10: もしもなんらかの物が街道脇でないならこの地位協定は邪魔臭い fact11: 「全身マッサージでない」物はある fact12: 「あの既往は労労じ」ということは正しい fact13: 「ファイリング制度でない」ものはある fact14: 「ファイリング制度でない」物があるとしたらあの既往は以降だ fact15: なにかは気忙しくない fact16: 何らかの物はラクトースでない fact17: もしも「洗い直さない」ものがあるならそのオリジンはファイリング制度である ; $hypothesis$ = 「あの既往は以降である」ということは本当である ; $proof$ = 
fact13 & fact14 -> hypothesis; __PROVED__
事実1: もし仮に「以降でない」ものがあるとするとあの既往は親孝行する
事実2: 「上納するということはない」ものはある
事実3: 「「ファイリング制度である」ということは成り立つ」ものはある
事実4: あの既往はファイリング制度である
事実5: なんらかのものは以降でない
事実6: もし仮に「「ファイリング制度でないかあるいは腹黒いということはない」ということは成り立たない」物があるとすればあの既往は以降でない
事実7: もしなんらかの物が外国軍でないならばあの既往は不買運動である
事実8: もし「ファイリング制度でない」ものがあるならあのラテン語は維持する
事実9: もし「ファイリング制度でない」物があるならばあの既往は首肯出来る
事実10: もしもなんらかの物が街道脇でないならこの地位協定は邪魔臭い
事実11: 「全身マッサージでない」物はある
事実12: 「あの既往は労労じ」ということは正しい
事実13: 「ファイリング制度でない」ものはある
事実14: 「ファイリング制度でない」物があるとしたらあの既往は以降だ
事実15: なにかは気忙しくない
事実16: 何らかの物はラクトースでない
事実17: もしも「洗い直さない」ものがあるならそのオリジンはファイリング制度である

仮説: 「あの既往は以降である」ということは本当である
1. 事実13と事実14から、仮説が導かれる

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