あの分権委側は胸全体である
fact1: あの分権委側は傾き易いかあるいは意地悪いかまたは両方ともだ fact2: あの分権委側は弛み無くないかそれは御一家だ fact3: その内郭は意地悪い fact4: 根気強くないかもしくは生成し易い物は取り辛い fact5: その鈍行は胸全体でない fact6: 「あの分権委側は傾き易くない」ということは本当だ fact7: この臨床場面は低いということはないかまたは胸全体であるかあるいは両方ともだ fact8: 傾き易くないかまたは意地悪いかあるいは両方なものは胸全体である fact9: 仮にあの分権委側が御一家でないか堤であるとするとそれは甘ーい
fact6 -> int1: あの分権委側は傾き易くないかあるいは意地悪いかまたはどちらもである; fact8 -> int2: もしもあの分権委側が傾き易くないかあるいは意地悪いかもしくは両方ともであるとすればそれは胸全体だ; int1 & int2 -> hypothesis;
$facts$ = fact1: あの分権委側は傾き易いかあるいは意地悪いかまたは両方ともだ fact2: あの分権委側は弛み無くないかそれは御一家だ fact3: その内郭は意地悪い fact4: 根気強くないかもしくは生成し易い物は取り辛い fact5: その鈍行は胸全体でない fact6: 「あの分権委側は傾き易くない」ということは本当だ fact7: この臨床場面は低いということはないかまたは胸全体であるかあるいは両方ともだ fact8: 傾き易くないかまたは意地悪いかあるいは両方なものは胸全体である fact9: 仮にあの分権委側が御一家でないか堤であるとするとそれは甘ーい ; $hypothesis$ = あの分権委側は胸全体である ; $proof$ = 
fact6 -> int1: あの分権委側は傾き易くないかあるいは意地悪いかまたはどちらもである; fact8 -> int2: もしもあの分権委側が傾き易くないかあるいは意地悪いかもしくは両方ともであるとすればそれは胸全体だ; int1 & int2 -> hypothesis; __PROVED__
事実1: あの分権委側は傾き易いかあるいは意地悪いかまたは両方ともだ
事実2: あの分権委側は弛み無くないかそれは御一家だ
事実3: その内郭は意地悪い
事実4: 根気強くないかもしくは生成し易い物は取り辛い
事実5: その鈍行は胸全体でない
事実6: 「あの分権委側は傾き易くない」ということは本当だ
事実7: この臨床場面は低いということはないかまたは胸全体であるかあるいは両方ともだ
事実8: 傾き易くないかまたは意地悪いかあるいは両方なものは胸全体である
事実9: 仮にあの分権委側が御一家でないか堤であるとするとそれは甘ーい

仮説: あの分権委側は胸全体である
1. 事実6から、推論1: "あの分権委側は傾き易くないかあるいは意地悪いかまたはどちらもである"が導かれる
2. 事実8から、推論2: "もしもあの分権委側が傾き易くないかあるいは意地悪いかもしくは両方ともであるとすればそれは胸全体だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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