あの要求リターンは履き直さないけれど抄本だ
fact1: もし「その水酸化カルシウムが散華するしその上それは遣り易い」ということは成り立たないならこの貿易商は社会的事実だということはない fact2: もし何かは年齢等でないかもしくはそれは風間であるとしたら肝性昏睡でない fact3: あの梵鐘は恋人達でない fact4: あの梵鐘は履き直すということはないけど多角化する fact5: あの梵鐘は履き直さない fact6: あの要求リターンは抄本である fact7: もし仮になにがしかの物が一当務でないとすれば大規模集落だ fact8: あの梵鐘は伝わり難くないが多角化する fact9: もしなんらかの物が一当務でないかそれが大規模集落だとするとあの梵鐘は抄本でない fact10: あの梵鐘は多角化する fact11: あの要求リターンは多角化しない fact12: もし仮にあの梵鐘が伝わり難くないがしかし多角化するならあの要求リターンは履き直さない fact13: その水酸化カルシウムは突っつかない fact14: なにがしかの物は社会的事実でないならそれは一当務でないかまたは大規模集落であるか両方である fact15: もしもその水酸化カルシウムが突っつかないとするとそれは年齢等でないかあるいは風間である fact16: もし仮にとある物は大規模集落なら「それは抄本でなくてまたそれは履き直す」ということは誤りだ fact17: あの人類社会は多角化しない fact18: あの梵鐘は抄本でないがしかしそれは多角化する fact19: もしあの要求リターンが抄本でないがしかし多角化するならあの梵鐘は伝わり難くない fact20: もし仮に何らかの物は肝性昏睡でないとしたら「それは散華するしそれは遣り易い」ということは嘘である
fact12 & fact8 -> int1: あの要求リターンは履き直さない; int1 & fact6 -> hypothesis;
fact12 & fact8 -> int1: ¬{B}{b}; int1 & fact6 -> hypothesis;
この相手先は履き直さない
fact22 -> int2: 仮にこの相手先は大規模集落なら「抄本でないが履き直す」ということは事実と異なる; fact21 -> int3: この相手先は一当務でないなら大規模集落だ;
$facts$ = fact1: もし「その水酸化カルシウムが散華するしその上それは遣り易い」ということは成り立たないならこの貿易商は社会的事実だということはない fact2: もし何かは年齢等でないかもしくはそれは風間であるとしたら肝性昏睡でない fact3: あの梵鐘は恋人達でない fact4: あの梵鐘は履き直すということはないけど多角化する fact5: あの梵鐘は履き直さない fact6: あの要求リターンは抄本である fact7: もし仮になにがしかの物が一当務でないとすれば大規模集落だ fact8: あの梵鐘は伝わり難くないが多角化する fact9: もしなんらかの物が一当務でないかそれが大規模集落だとするとあの梵鐘は抄本でない fact10: あの梵鐘は多角化する fact11: あの要求リターンは多角化しない fact12: もし仮にあの梵鐘が伝わり難くないがしかし多角化するならあの要求リターンは履き直さない fact13: その水酸化カルシウムは突っつかない fact14: なにがしかの物は社会的事実でないならそれは一当務でないかまたは大規模集落であるか両方である fact15: もしもその水酸化カルシウムが突っつかないとするとそれは年齢等でないかあるいは風間である fact16: もし仮にとある物は大規模集落なら「それは抄本でなくてまたそれは履き直す」ということは誤りだ fact17: あの人類社会は多角化しない fact18: あの梵鐘は抄本でないがしかしそれは多角化する fact19: もしあの要求リターンが抄本でないがしかし多角化するならあの梵鐘は伝わり難くない fact20: もし仮に何らかの物は肝性昏睡でないとしたら「それは散華するしそれは遣り易い」ということは嘘である ; $hypothesis$ = あの要求リターンは履き直さないけれど抄本だ ; $proof$ = 
fact12 & fact8 -> int1: あの要求リターンは履き直さない; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし「その水酸化カルシウムが散華するしその上それは遣り易い」ということは成り立たないならこの貿易商は社会的事実だということはない
事実2: もし何かは年齢等でないかもしくはそれは風間であるとしたら肝性昏睡でない
事実3: あの梵鐘は恋人達でない
事実4: あの梵鐘は履き直すということはないけど多角化する
事実5: あの梵鐘は履き直さない
事実6: あの要求リターンは抄本である
事実7: もし仮になにがしかの物が一当務でないとすれば大規模集落だ
事実8: あの梵鐘は伝わり難くないが多角化する
事実9: もしなんらかの物が一当務でないかそれが大規模集落だとするとあの梵鐘は抄本でない
事実10: あの梵鐘は多角化する
事実11: あの要求リターンは多角化しない
事実12: もし仮にあの梵鐘が伝わり難くないがしかし多角化するならあの要求リターンは履き直さない
事実13: その水酸化カルシウムは突っつかない
事実14: なにがしかの物は社会的事実でないならそれは一当務でないかまたは大規模集落であるか両方である
事実15: もしもその水酸化カルシウムが突っつかないとするとそれは年齢等でないかあるいは風間である
事実16: もし仮にとある物は大規模集落なら「それは抄本でなくてまたそれは履き直す」ということは誤りだ
事実17: あの人類社会は多角化しない
事実18: あの梵鐘は抄本でないがしかしそれは多角化する
事実19: もしあの要求リターンが抄本でないがしかし多角化するならあの梵鐘は伝わり難くない
事実20: もし仮に何らかの物は肝性昏睡でないとしたら「それは散華するしそれは遣り易い」ということは嘘である

仮説: あの要求リターンは履き直さないけれど抄本だ
1. 事実12と事実8から、推論1: "あの要求リターンは履き直さない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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