「もし仮に面倒臭いとすると止む無くない」物はある
fact1: 懐かし物は女子高校生であるということはない fact2: もしその石灰岩が情けないならばそれは一般化しない fact3: 名高いものはテキスト配置アイコンである fact4: 面倒臭いものは止む無い fact5: 「分厚いものは痛ーくない」ということは真実だ fact6: もしあるものが面倒臭いなら止む無くない
fact6 -> int1: もし仮にこのシルバーが面倒臭いならそれは止む無いということはない; int1 -> hypothesis;
「懐かしなら「女子高校生でない」ということは真実である」ものはある
fact7 -> int2: 仮にこの再教育が懐かしとすればそれは女子高校生でない; int2 -> hypothesis;
$facts$ = fact1: 懐かし物は女子高校生であるということはない fact2: もしその石灰岩が情けないならばそれは一般化しない fact3: 名高いものはテキスト配置アイコンである fact4: 面倒臭いものは止む無い fact5: 「分厚いものは痛ーくない」ということは真実だ fact6: もしあるものが面倒臭いなら止む無くない ; $hypothesis$ = 「もし仮に面倒臭いとすると止む無くない」物はある ; $proof$ = 
fact6 -> int1: もし仮にこのシルバーが面倒臭いならそれは止む無いということはない; int1 -> hypothesis; __PROVED__
事実1: 懐かし物は女子高校生であるということはない
事実2: もしその石灰岩が情けないならばそれは一般化しない
事実3: 名高いものはテキスト配置アイコンである
事実4: 面倒臭いものは止む無い
事実5: 「分厚いものは痛ーくない」ということは真実だ
事実6: もしあるものが面倒臭いなら止む無くない

仮説: 「もし仮に面倒臭いとすると止む無くない」物はある
1. 事実6から、推論1: "もし仮にこのシルバーが面倒臭いならそれは止む無いということはない"が導かれる
2. 推論1から、仮説が導かれる

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