この得意科目は素人っぽい
fact1: 「力無いものはたくし上げる」ということは成り立つ fact2: 「この得意科目は格付け制度だ」ということは確かだ fact3: もしこの得意科目が力無いとすればたくし上げる fact4: もし仮に何かは吹き抜けであるとするとそれはたくし上げる fact5: この得意科目は設計施工する fact6: あの発生はたくし上げる fact7: この十六年後は吹き抜けである fact8: この補助手段はたくし上げる fact9: この縫い取りがたくし上げるとすると吹き抜けだ fact10: この得意科目はたくし上げる fact11: もしも「この得意科目は素人っぽい」ということは確かであるならたくし上げる fact12: それは力無くないしかつそれはちやほやするという物はない fact13: 仮にこの縫い取りがたくし上げるとするとそれは力無い fact14: あの遺伝物質は素人っぽい fact15: もしもこの縫い取りが吹き抜けだとするとこの得意科目は力無い fact16: もしもこの得意科目は素人っぽいとしたら「それは吹き抜けだ」ということは成り立つ fact17: もしも何らかのものが力無いとすると素人っぽい fact18: この縫い取りはたくし上げる fact19: 「この縫い取りは力無い」ということは成り立つとすればこの得意科目はたくし上げる
fact9 & fact18 -> int1: この縫い取りは吹き抜けだ; int1 & fact15 -> int2: この得意科目は力無い; fact17 -> int3: もしも「この得意科目は力無い」ということは成り立つならそれは素人っぽい; int2 & int3 -> hypothesis;
この得意科目は素人っぽくない
fact20 -> int4: 「あの大統領委員会は力無くないがしかしちやほやする」ということは確かでない; int4 -> int5: 「「力無くなくてちやほやする」ということは間違いな」物はある;
$facts$ = fact1: 「力無いものはたくし上げる」ということは成り立つ fact2: 「この得意科目は格付け制度だ」ということは確かだ fact3: もしこの得意科目が力無いとすればたくし上げる fact4: もし仮に何かは吹き抜けであるとするとそれはたくし上げる fact5: この得意科目は設計施工する fact6: あの発生はたくし上げる fact7: この十六年後は吹き抜けである fact8: この補助手段はたくし上げる fact9: この縫い取りがたくし上げるとすると吹き抜けだ fact10: この得意科目はたくし上げる fact11: もしも「この得意科目は素人っぽい」ということは確かであるならたくし上げる fact12: それは力無くないしかつそれはちやほやするという物はない fact13: 仮にこの縫い取りがたくし上げるとするとそれは力無い fact14: あの遺伝物質は素人っぽい fact15: もしもこの縫い取りが吹き抜けだとするとこの得意科目は力無い fact16: もしもこの得意科目は素人っぽいとしたら「それは吹き抜けだ」ということは成り立つ fact17: もしも何らかのものが力無いとすると素人っぽい fact18: この縫い取りはたくし上げる fact19: 「この縫い取りは力無い」ということは成り立つとすればこの得意科目はたくし上げる ; $hypothesis$ = この得意科目は素人っぽい ; $proof$ = 
fact9 & fact18 -> int1: この縫い取りは吹き抜けだ; int1 & fact15 -> int2: この得意科目は力無い; fact17 -> int3: もしも「この得意科目は力無い」ということは成り立つならそれは素人っぽい; int2 & int3 -> hypothesis; __PROVED__
事実1: 「力無いものはたくし上げる」ということは成り立つ
事実2: 「この得意科目は格付け制度だ」ということは確かだ
事実3: もしこの得意科目が力無いとすればたくし上げる
事実4: もし仮に何かは吹き抜けであるとするとそれはたくし上げる
事実5: この得意科目は設計施工する
事実6: あの発生はたくし上げる
事実7: この十六年後は吹き抜けである
事実8: この補助手段はたくし上げる
事実9: この縫い取りがたくし上げるとすると吹き抜けだ
事実10: この得意科目はたくし上げる
事実11: もしも「この得意科目は素人っぽい」ということは確かであるならたくし上げる
事実12: それは力無くないしかつそれはちやほやするという物はない
事実13: 仮にこの縫い取りがたくし上げるとするとそれは力無い
事実14: あの遺伝物質は素人っぽい
事実15: もしもこの縫い取りが吹き抜けだとするとこの得意科目は力無い
事実16: もしもこの得意科目は素人っぽいとしたら「それは吹き抜けだ」ということは成り立つ
事実17: もしも何らかのものが力無いとすると素人っぽい
事実18: この縫い取りはたくし上げる
事実19: 「この縫い取りは力無い」ということは成り立つとすればこの得意科目はたくし上げる

仮説: この得意科目は素人っぽい
1. 事実9と事実18から、推論1: "この縫い取りは吹き抜けだ"が導かれる
2. 推論1と事実15から、推論2: "この得意科目は力無い"が導かれる
3. 事実17から、推論3: "もしも「この得意科目は力無い」ということは成り立つならそれは素人っぽい"が導かれる
4. 推論2と推論3から、仮説が導かれる

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