あの治療薬は育ち直す
fact1: もしなにかは諦めないならそれは育ち直すししかもダーズリー家である fact2: もしこの祖父母が原因究明だということはないとすれば物凄くててきぱきする fact3: もしもこのカートラムはがなり立てるかもしくは刮目するということはないかまたは両方であるとすればダーズリー家である fact4: 仮にあの治療薬が物凄いということはないならばこのカートラムは諦めないししかもてきぱきしない fact5: この祖父母は原因究明だということはない fact6: このカートラムは太り易い fact7: このカートラムが育ち直すとしたらこの祝い毎はがなり立てる fact8: もしこのカートラムががなり立てるとするとそれはダーズリー家だ fact9: あの治療薬はがなり立てる fact10: もしもこのカートラムはダーズリー家であるなら「あの治療薬は育ち直す」ということは成り立つ fact11: もしもその開催地は原因究明でないとしたら「あの治療薬は物凄くてそれは消化吸収され易い」ということは成り立たない fact12: もしも「なにがしかのものは物凄くて消化吸収され易い」ということは成り立たないならそれは物凄くない fact13: あの規範は御戻る fact14: もし仮にこの祖父母は物凄いしかつてきぱきするとすれば「あの規範はてきぱきしない」ということは確かだ fact15: このカートラムが育ち直すとすればあの治療薬はがなり立てる fact16: このカートラムはがなり立てるかまたは刮目するということはないかあるいはどちらもだ
fact3 & fact16 -> int1: 「このカートラムはダーズリー家である」ということは確かだ; int1 & fact10 -> hypothesis;
fact3 & fact16 -> int1: {B}{a}; int1 & fact10 -> hypothesis;
あの治療薬は育ち直すということはない
fact18 & fact19 -> int2: この祖父母は物凄いし加えてそれはてきぱきする; fact17 & int2 -> int3: 「あの規範はてきぱきしない」ということは事実だ; int3 -> int4: 「てきぱきしない」ものはある;
$facts$ = fact1: もしなにかは諦めないならそれは育ち直すししかもダーズリー家である fact2: もしこの祖父母が原因究明だということはないとすれば物凄くててきぱきする fact3: もしもこのカートラムはがなり立てるかもしくは刮目するということはないかまたは両方であるとすればダーズリー家である fact4: 仮にあの治療薬が物凄いということはないならばこのカートラムは諦めないししかもてきぱきしない fact5: この祖父母は原因究明だということはない fact6: このカートラムは太り易い fact7: このカートラムが育ち直すとしたらこの祝い毎はがなり立てる fact8: もしこのカートラムががなり立てるとするとそれはダーズリー家だ fact9: あの治療薬はがなり立てる fact10: もしもこのカートラムはダーズリー家であるなら「あの治療薬は育ち直す」ということは成り立つ fact11: もしもその開催地は原因究明でないとしたら「あの治療薬は物凄くてそれは消化吸収され易い」ということは成り立たない fact12: もしも「なにがしかのものは物凄くて消化吸収され易い」ということは成り立たないならそれは物凄くない fact13: あの規範は御戻る fact14: もし仮にこの祖父母は物凄いしかつてきぱきするとすれば「あの規範はてきぱきしない」ということは確かだ fact15: このカートラムが育ち直すとすればあの治療薬はがなり立てる fact16: このカートラムはがなり立てるかまたは刮目するということはないかあるいはどちらもだ ; $hypothesis$ = あの治療薬は育ち直す ; $proof$ = 
fact3 & fact16 -> int1: 「このカートラムはダーズリー家である」ということは確かだ; int1 & fact10 -> hypothesis; __PROVED__
事実1: もしなにかは諦めないならそれは育ち直すししかもダーズリー家である
事実2: もしこの祖父母が原因究明だということはないとすれば物凄くててきぱきする
事実3: もしもこのカートラムはがなり立てるかもしくは刮目するということはないかまたは両方であるとすればダーズリー家である
事実4: 仮にあの治療薬が物凄いということはないならばこのカートラムは諦めないししかもてきぱきしない
事実5: この祖父母は原因究明だということはない
事実6: このカートラムは太り易い
事実7: このカートラムが育ち直すとしたらこの祝い毎はがなり立てる
事実8: もしこのカートラムががなり立てるとするとそれはダーズリー家だ
事実9: あの治療薬はがなり立てる
事実10: もしもこのカートラムはダーズリー家であるなら「あの治療薬は育ち直す」ということは成り立つ
事実11: もしもその開催地は原因究明でないとしたら「あの治療薬は物凄くてそれは消化吸収され易い」ということは成り立たない
事実12: もしも「なにがしかのものは物凄くて消化吸収され易い」ということは成り立たないならそれは物凄くない
事実13: あの規範は御戻る
事実14: もし仮にこの祖父母は物凄いしかつてきぱきするとすれば「あの規範はてきぱきしない」ということは確かだ
事実15: このカートラムが育ち直すとすればあの治療薬はがなり立てる
事実16: このカートラムはがなり立てるかまたは刮目するということはないかあるいはどちらもだ

仮説: あの治療薬は育ち直す
1. 事実3と事実16から、推論1: "「このカートラムはダーズリー家である」ということは確かだ"が導かれる
2. 推論1と事実10から、仮説が導かれる

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