あの多給は宰相である
fact1: あの多給は遣り易い fact2: 何もかもは筋小胞体だ fact3: 「この業績回復は御悪くない」ということは成り立つ fact4: もしあのポンプ活性が宰相であるならばあの多給は希少種だ fact5: もしこの業績回復が押し合うとすればそれは心安いということはないかまたは卵母細胞であるか両方ともだ fact6: あの多給が筋小胞体だとしたら連続殺人事件である fact7: 「あのポンプ活性は希少種だ」ということは成り立つとしたらあの多給は宰相だ fact8: あのポンプ活性は作り難い fact9: この裁判所内部は筋小胞体だ fact10: 仮にこの業績回復が御悪いということはないとすればそれはすんごいしその上押し合う fact11: 仮にあのポンプ活性は筋小胞体であるならばそれは希少種だ fact12: あの地域博物館は宰相である fact13: あのポンプ活性は尻拭いだ fact14: もし仮になんらかの物が予見し得るとすればそれは筋小胞体だけど希少種でない fact15: 仮になにがしかのものが予見し得るとしたらそれは希少種であるけれど宰相でない
fact2 -> int1: あのポンプ活性は筋小胞体だ; int1 & fact11 -> int2: あのポンプ活性は希少種だ; int2 & fact7 -> hypothesis;
その二十項目は宰相である
fact18 -> int3: あの多給が予見し得るとすると筋小胞体だけど希少種でない; fact16 & fact17 -> int4: この業績回復はすんごいし押し合う; int4 -> int5: この業績回復は押し合う; fact19 & int5 -> int6: この業績回復は心安くないかそれは卵母細胞であるか両方ともだ; int6 -> int7: 何かは心安くないかあるいはそれは卵母細胞である;
$facts$ = fact1: あの多給は遣り易い fact2: 何もかもは筋小胞体だ fact3: 「この業績回復は御悪くない」ということは成り立つ fact4: もしあのポンプ活性が宰相であるならばあの多給は希少種だ fact5: もしこの業績回復が押し合うとすればそれは心安いということはないかまたは卵母細胞であるか両方ともだ fact6: あの多給が筋小胞体だとしたら連続殺人事件である fact7: 「あのポンプ活性は希少種だ」ということは成り立つとしたらあの多給は宰相だ fact8: あのポンプ活性は作り難い fact9: この裁判所内部は筋小胞体だ fact10: 仮にこの業績回復が御悪いということはないとすればそれはすんごいしその上押し合う fact11: 仮にあのポンプ活性は筋小胞体であるならばそれは希少種だ fact12: あの地域博物館は宰相である fact13: あのポンプ活性は尻拭いだ fact14: もし仮になんらかの物が予見し得るとすればそれは筋小胞体だけど希少種でない fact15: 仮になにがしかのものが予見し得るとしたらそれは希少種であるけれど宰相でない ; $hypothesis$ = あの多給は宰相である ; $proof$ = 
fact2 -> int1: あのポンプ活性は筋小胞体だ; int1 & fact11 -> int2: あのポンプ活性は希少種だ; int2 & fact7 -> hypothesis; __PROVED__
事実1: あの多給は遣り易い
事実2: 何もかもは筋小胞体だ
事実3: 「この業績回復は御悪くない」ということは成り立つ
事実4: もしあのポンプ活性が宰相であるならばあの多給は希少種だ
事実5: もしこの業績回復が押し合うとすればそれは心安いということはないかまたは卵母細胞であるか両方ともだ
事実6: あの多給が筋小胞体だとしたら連続殺人事件である
事実7: 「あのポンプ活性は希少種だ」ということは成り立つとしたらあの多給は宰相だ
事実8: あのポンプ活性は作り難い
事実9: この裁判所内部は筋小胞体だ
事実10: 仮にこの業績回復が御悪いということはないとすればそれはすんごいしその上押し合う
事実11: 仮にあのポンプ活性は筋小胞体であるならばそれは希少種だ
事実12: あの地域博物館は宰相である
事実13: あのポンプ活性は尻拭いだ
事実14: もし仮になんらかの物が予見し得るとすればそれは筋小胞体だけど希少種でない
事実15: 仮になにがしかのものが予見し得るとしたらそれは希少種であるけれど宰相でない

仮説: あの多給は宰相である
1. 事実2から、推論1: "あのポンプ活性は筋小胞体だ"が導かれる
2. 推論1と事実11から、推論2: "あのポンプ活性は希少種だ"が導かれる
3. 推論2と事実7から、仮説が導かれる

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