「その用益権は力無いしさらに小賢しい」ということは誤っている
fact1: 「誘い込む」物はある fact2: 「「地下深いかあるいは脱帽しないかもしくは両方だ」ということは成り立つということはない」ものはある fact3: 「そのヒューマンエラーはベルギー政府でない」ということは正しい fact4: 「何らかの物は洗顔しない」ということは成り立つなら「それは太いしおまけに変え難い」ということは誤りである fact5: 「誇らしいか暮らし始めないか両方ともな」ものはある fact6: なにかは地下深いかあるいは脱帽しないかまたは両方である fact7: もし仮にあの横書き文字ツールはメカニックでないとしたら「配属であるし更にそれは地下深い」ということは成り立たない fact8: 「地下深くない」ものはある fact9: その用益権は地下深くない fact10: もしも「「地下深いか脱帽するということはない」ということは偽な」物があるとすればあの用益権は造幣するということはない fact11: なにがしかのものは造幣しないとしたら「それは力無くて小賢しい」ということは成り立たない fact12: その用益権は細かくない fact13: もしもこの利払い年が造幣するならその用益権は力無い fact14: なんらかの物は御気に為さるということはないとすれば「ユニットバスであるししかも代償行為である」ということは偽である fact15: 「脱帽する」物はある fact16: 「本田・プレリュードである」ものはある fact17: もしそのヒューマンエラーがベルギー政府だということはないとしたらこの利払い年は造幣するししかも地下深い
fact11 -> int1: 仮にその用益権は造幣するということはないならば「力無くてさらに小賢しい」ということは誤りだ; fact2 & fact10 -> int2: その用益権は造幣するということはない; int1 & int2 -> hypothesis;
その用益権が力無いしその上それは小賢しい
fact19 & fact18 -> int3: この利払い年は造幣するしかつ地下深い; int3 -> int4: この利払い年は造幣する; fact20 & int4 -> int5: その用益権は力無い;
$facts$ = fact1: 「誘い込む」物はある fact2: 「「地下深いかあるいは脱帽しないかもしくは両方だ」ということは成り立つということはない」ものはある fact3: 「そのヒューマンエラーはベルギー政府でない」ということは正しい fact4: 「何らかの物は洗顔しない」ということは成り立つなら「それは太いしおまけに変え難い」ということは誤りである fact5: 「誇らしいか暮らし始めないか両方ともな」ものはある fact6: なにかは地下深いかあるいは脱帽しないかまたは両方である fact7: もし仮にあの横書き文字ツールはメカニックでないとしたら「配属であるし更にそれは地下深い」ということは成り立たない fact8: 「地下深くない」ものはある fact9: その用益権は地下深くない fact10: もしも「「地下深いか脱帽するということはない」ということは偽な」物があるとすればあの用益権は造幣するということはない fact11: なにがしかのものは造幣しないとしたら「それは力無くて小賢しい」ということは成り立たない fact12: その用益権は細かくない fact13: もしもこの利払い年が造幣するならその用益権は力無い fact14: なんらかの物は御気に為さるということはないとすれば「ユニットバスであるししかも代償行為である」ということは偽である fact15: 「脱帽する」物はある fact16: 「本田・プレリュードである」ものはある fact17: もしそのヒューマンエラーがベルギー政府だということはないとしたらこの利払い年は造幣するししかも地下深い ; $hypothesis$ = 「その用益権は力無いしさらに小賢しい」ということは誤っている ; $proof$ = 
fact11 -> int1: 仮にその用益権は造幣するということはないならば「力無くてさらに小賢しい」ということは誤りだ; fact2 & fact10 -> int2: その用益権は造幣するということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「誘い込む」物はある
事実2: 「「地下深いかあるいは脱帽しないかもしくは両方だ」ということは成り立つということはない」ものはある
事実3: 「そのヒューマンエラーはベルギー政府でない」ということは正しい
事実4: 「何らかの物は洗顔しない」ということは成り立つなら「それは太いしおまけに変え難い」ということは誤りである
事実5: 「誇らしいか暮らし始めないか両方ともな」ものはある
事実6: なにかは地下深いかあるいは脱帽しないかまたは両方である
事実7: もし仮にあの横書き文字ツールはメカニックでないとしたら「配属であるし更にそれは地下深い」ということは成り立たない
事実8: 「地下深くない」ものはある
事実9: その用益権は地下深くない
事実10: もしも「「地下深いか脱帽するということはない」ということは偽な」物があるとすればあの用益権は造幣するということはない
事実11: なにがしかのものは造幣しないとしたら「それは力無くて小賢しい」ということは成り立たない
事実12: その用益権は細かくない
事実13: もしもこの利払い年が造幣するならその用益権は力無い
事実14: なんらかの物は御気に為さるということはないとすれば「ユニットバスであるししかも代償行為である」ということは偽である
事実15: 「脱帽する」物はある
事実16: 「本田・プレリュードである」ものはある
事実17: もしそのヒューマンエラーがベルギー政府だということはないとしたらこの利払い年は造幣するししかも地下深い

仮説: 「その用益権は力無いしさらに小賢しい」ということは誤っている
1. 事実11から、推論1: "仮にその用益権は造幣するということはないならば「力無くてさらに小賢しい」ということは誤りだ"が導かれる
2. 事実2と事実10から、推論2: "その用益権は造幣するということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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