あのフス派はおどろおどろしくない
fact1: あるものはおどろおどろしくないけれど浅見家だ fact2: 「おどろおどろしくない」物はある fact3: 何らかの物はしても良くないがしかし武術家だ fact4: なにかは生え始めないが暮らし振りだ fact5: その泣き上戸は圧縮額でない fact6: もし仮に「「浅見家だということはない」ということは真実な」物があるならこの地域文化はおどろおどろしくない fact7: もし「ケモカインでないけど口惜しい」ものがあるとするとあの生き死には浅見家でない fact8: もしも「助成しないがしかし危険視する」ものがあるとするとこの地域文化は浅見家でない fact9: 仮に何らかの物が浅見家であるならこの地域文化は暮らし振りでない fact10: もし仮に「圧縮額でない」物があるならこの勤労青少年は浅見家だしさらに経上がる fact11: 「河川Ｈでないし加えて根差す」物があるとするとあのフス派は咀嚼しない fact12: もしなにがしかのものが浅見家でないとするとあのフス派はおどろおどろしくない fact13: 「子息だということはない」ものはある fact14: 「なんらかの物はストラテジーでないけどさり気無い」ということは確かだ fact15: 「この地域文化は生え始めない」ということは事実である fact16: なにがしかのものは浅見家でまたおどろおどろしい fact17: 「「口汚くない」ということは事実な」物はある fact18: もしも「生え始めないけど暮らし振りな」物があるとすればあの地域文化は浅見家でない
fact4 & fact18 -> int1: この地域文化は浅見家でない; int1 -> int2: なにかは浅見家でない; int2 & fact12 -> hypothesis;
あのフス派はおどろおどろしい
fact20 -> int3: 「圧縮額でない」ものはある; int3 & fact19 -> int4: この勤労青少年は浅見家だしまた経上がる; int4 -> int5: この勤労青少年は浅見家である; int5 -> int6: あるものは浅見家である; int6 & fact21 -> int7: 「この地域文化は暮らし振りでない」ということは事実と異ならない; int7 -> int8: この地域文化は生え始めないかあるいはそれは暮らし振りでないかあるいはどちらもである; int8 -> int9: なにがしかのものは生え始めないかもしくは暮らし振りでないかもしくはどちらもである;
$facts$ = fact1: あるものはおどろおどろしくないけれど浅見家だ fact2: 「おどろおどろしくない」物はある fact3: 何らかの物はしても良くないがしかし武術家だ fact4: なにかは生え始めないが暮らし振りだ fact5: その泣き上戸は圧縮額でない fact6: もし仮に「「浅見家だということはない」ということは真実な」物があるならこの地域文化はおどろおどろしくない fact7: もし「ケモカインでないけど口惜しい」ものがあるとするとあの生き死には浅見家でない fact8: もしも「助成しないがしかし危険視する」ものがあるとするとこの地域文化は浅見家でない fact9: 仮に何らかの物が浅見家であるならこの地域文化は暮らし振りでない fact10: もし仮に「圧縮額でない」物があるならこの勤労青少年は浅見家だしさらに経上がる fact11: 「河川Ｈでないし加えて根差す」物があるとするとあのフス派は咀嚼しない fact12: もしなにがしかのものが浅見家でないとするとあのフス派はおどろおどろしくない fact13: 「子息だということはない」ものはある fact14: 「なんらかの物はストラテジーでないけどさり気無い」ということは確かだ fact15: 「この地域文化は生え始めない」ということは事実である fact16: なにがしかのものは浅見家でまたおどろおどろしい fact17: 「「口汚くない」ということは事実な」物はある fact18: もしも「生え始めないけど暮らし振りな」物があるとすればあの地域文化は浅見家でない ; $hypothesis$ = あのフス派はおどろおどろしくない ; $proof$ = 
fact4 & fact18 -> int1: この地域文化は浅見家でない; int1 -> int2: なにかは浅見家でない; int2 & fact12 -> hypothesis; __PROVED__
事実1: あるものはおどろおどろしくないけれど浅見家だ
事実2: 「おどろおどろしくない」物はある
事実3: 何らかの物はしても良くないがしかし武術家だ
事実4: なにかは生え始めないが暮らし振りだ
事実5: その泣き上戸は圧縮額でない
事実6: もし仮に「「浅見家だということはない」ということは真実な」物があるならこの地域文化はおどろおどろしくない
事実7: もし「ケモカインでないけど口惜しい」ものがあるとするとあの生き死には浅見家でない
事実8: もしも「助成しないがしかし危険視する」ものがあるとするとこの地域文化は浅見家でない
事実9: 仮に何らかの物が浅見家であるならこの地域文化は暮らし振りでない
事実10: もし仮に「圧縮額でない」物があるならこの勤労青少年は浅見家だしさらに経上がる
事実11: 「河川Ｈでないし加えて根差す」物があるとするとあのフス派は咀嚼しない
事実12: もしなにがしかのものが浅見家でないとするとあのフス派はおどろおどろしくない
事実13: 「子息だということはない」ものはある
事実14: 「なんらかの物はストラテジーでないけどさり気無い」ということは確かだ
事実15: 「この地域文化は生え始めない」ということは事実である
事実16: なにがしかのものは浅見家でまたおどろおどろしい
事実17: 「「口汚くない」ということは事実な」物はある
事実18: もしも「生え始めないけど暮らし振りな」物があるとすればあの地域文化は浅見家でない

仮説: あのフス派はおどろおどろしくない
1. 事実4と事実18から、推論1: "この地域文化は浅見家でない"が導かれる
2. 推論1から、推論2: "なにかは浅見家でない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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