その既往歴は燃え付きだ
fact1: その既往歴は共産勢力であるか広がり難いか両方ともである fact2: 「あの各方面は宜し」ということは間違いでない fact3: あの四谷赤坂麴町は見られ易い fact4: あの疾風は見得るしまたそれは検討す fact5: 仮にあの狙いが行い易いとしたらあの四谷赤坂麴町は行い易い fact6: もしもこの弁当店が広がり難いならあの疾風はすばしっこい fact7: もし仮にあの疾風が検討すればその既往歴は燃え付きである fact8: もし仮にあの四谷赤坂麴町は見られ易いならば「柵囲い道路であるしおまけに排水溝でない」ということは嘘である fact9: 「あの疾風は見得る」ということは成り立つとするとそのキルは燃え付きだ fact10: 「なにかはすばしっこい」ということは成り立つとすれば「検討すがしかし見得ない」ということは誤りだ fact11: あの疾風は見得る fact12: もし仮になんらかの物は胆嚢腺筋腫症であるかまたは入門しないとすればそれは入門しない fact13: 仮に何かは入門しないとしたらそれは共産勢力であるか広がり難い fact14: もし排水溝が行い易いならばこの弁当店は胆嚢腺筋腫症である fact15: その既往歴は木らしい fact16: 仮にある物が宜しとすればあの狙いは行い易い fact17: この弁当店が共産勢力であるとすればあの疾風はすばしっこい fact18: その無量光院跡は検討す fact19: その既往歴は検討す fact20: 「ある物は柵囲い道路であるがしかし排水溝でない」ということは嘘だとしたら排水溝だ fact21: この諸編は見得る fact22: あの疾風は見得るし更にそれは燃え付きだ
fact4 -> int1: あの疾風は検討す; int1 & fact7 -> hypothesis;
その既往歴は燃え付きでない
fact34 -> int2: 仮にあの疾風はすばしっこいなら「それは検討すがしかし見得るということはない」ということは間違いである; fact32 -> int3: この弁当店が入門するということはないならば共産勢力であるかもしくは広がり難いかまたは両方である; fact25 -> int4: もしもこの弁当店が胆嚢腺筋腫症であるかあるいはそれは入門しないかどちらもならばそれは入門しない; fact28 -> int5: もし仮に「あの四谷赤坂麴町は柵囲い道路であるがしかし排水溝でない」ということは成り立たないとすればそれは排水溝だ; fact24 & fact29 -> int6: 「「あの四谷赤坂麴町は柵囲い道路だけれど排水溝でない」ということは成り立つ」ということは成り立たない; int5 & int6 -> int7: あの四谷赤坂麴町は排水溝だ; fact31 -> int8: なにがしかの物は宜し; int8 & fact27 -> int9: あの狙いは行い易い; fact33 & int9 -> int10: あの四谷赤坂麴町は行い易い; int7 & int10 -> int11: あの四谷赤坂麴町は排水溝で行い易い; int11 -> int12: 何らかの物は排水溝であるしさらにそれは行い易い; int12 & fact23 -> int13: この弁当店は胆嚢腺筋腫症である; int13 -> int14: この弁当店は胆嚢腺筋腫症であるか入門しないかもしくは両方だ; int4 & int14 -> int15: この弁当店は入門しない; int3 & int15 -> int16: この弁当店は共産勢力であるかそれは広がり難いかもしくは両方である; int16 & fact26 & fact30 -> int17: あの疾風はすばしっこい; int2 & int17 -> int18: 「あの疾風は検討すけど見得ない」ということは間違いである; int18 -> int19: 「「検討すし見得ない」ということは成り立たない」ものはある;
$facts$ = fact1: その既往歴は共産勢力であるか広がり難いか両方ともである fact2: 「あの各方面は宜し」ということは間違いでない fact3: あの四谷赤坂麴町は見られ易い fact4: あの疾風は見得るしまたそれは検討す fact5: 仮にあの狙いが行い易いとしたらあの四谷赤坂麴町は行い易い fact6: もしもこの弁当店が広がり難いならあの疾風はすばしっこい fact7: もし仮にあの疾風が検討すればその既往歴は燃え付きである fact8: もし仮にあの四谷赤坂麴町は見られ易いならば「柵囲い道路であるしおまけに排水溝でない」ということは嘘である fact9: 「あの疾風は見得る」ということは成り立つとするとそのキルは燃え付きだ fact10: 「なにかはすばしっこい」ということは成り立つとすれば「検討すがしかし見得ない」ということは誤りだ fact11: あの疾風は見得る fact12: もし仮になんらかの物は胆嚢腺筋腫症であるかまたは入門しないとすればそれは入門しない fact13: 仮に何かは入門しないとしたらそれは共産勢力であるか広がり難い fact14: もし排水溝が行い易いならばこの弁当店は胆嚢腺筋腫症である fact15: その既往歴は木らしい fact16: 仮にある物が宜しとすればあの狙いは行い易い fact17: この弁当店が共産勢力であるとすればあの疾風はすばしっこい fact18: その無量光院跡は検討す fact19: その既往歴は検討す fact20: 「ある物は柵囲い道路であるがしかし排水溝でない」ということは嘘だとしたら排水溝だ fact21: この諸編は見得る fact22: あの疾風は見得るし更にそれは燃え付きだ ; $hypothesis$ = その既往歴は燃え付きだ ; $proof$ = 
fact4 -> int1: あの疾風は検討す; int1 & fact7 -> hypothesis; __PROVED__
事実1: その既往歴は共産勢力であるか広がり難いか両方ともである
事実2: 「あの各方面は宜し」ということは間違いでない
事実3: あの四谷赤坂麴町は見られ易い
事実4: あの疾風は見得るしまたそれは検討す
事実5: 仮にあの狙いが行い易いとしたらあの四谷赤坂麴町は行い易い
事実6: もしもこの弁当店が広がり難いならあの疾風はすばしっこい
事実7: もし仮にあの疾風が検討すればその既往歴は燃え付きである
事実8: もし仮にあの四谷赤坂麴町は見られ易いならば「柵囲い道路であるしおまけに排水溝でない」ということは嘘である
事実9: 「あの疾風は見得る」ということは成り立つとするとそのキルは燃え付きだ
事実10: 「なにかはすばしっこい」ということは成り立つとすれば「検討すがしかし見得ない」ということは誤りだ
事実11: あの疾風は見得る
事実12: もし仮になんらかの物は胆嚢腺筋腫症であるかまたは入門しないとすればそれは入門しない
事実13: 仮に何かは入門しないとしたらそれは共産勢力であるか広がり難い
事実14: もし排水溝が行い易いならばこの弁当店は胆嚢腺筋腫症である
事実15: その既往歴は木らしい
事実16: 仮にある物が宜しとすればあの狙いは行い易い
事実17: この弁当店が共産勢力であるとすればあの疾風はすばしっこい
事実18: その無量光院跡は検討す
事実19: その既往歴は検討す
事実20: 「ある物は柵囲い道路であるがしかし排水溝でない」ということは嘘だとしたら排水溝だ
事実21: この諸編は見得る
事実22: あの疾風は見得るし更にそれは燃え付きだ

仮説: その既往歴は燃え付きだ
1. 事実4から、推論1: "あの疾風は検討す"が導かれる
2. 推論1と事実7から、仮説が導かれる

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