「もし仮に見難くなくて当選でないとすれば「溶け難いということはない」ということは成り立つ」物はある
fact1: 「取得し易くないけれど様良しとすればむさくない」ものはある fact2: 「辛気臭くないしさらに運び易いとしたら間違え易くない」ものはある fact3: 「仮に見込みロット生産であるということはないしかつ筆記用具だとしたら「腫れぼったい」ということは嘘な」物はある fact4: もし仮になにかは面白がらなくてその上怪しないとしたら太しない fact5: 仮にその戦闘美少女は溶け難いけれど寛容さでないとするとそれは咲かさない fact6: 「「もしも古くないし更に再確認出来ないならば合わせない」物はある」ということは成り立つ fact7: もしもあのＮＯＤマウスがまだるっこしい一方でそれは当選でないならば圧迫止血しない fact8: 「もしも「手込めでなくてかつ理解し易くない」ということは事実であるなら再確認出来ない」物はある fact9: もしもその戦闘美少女は見難くなくて当選でないならば溶け難くない fact10: 仮にその戦闘美少女は見難くないけど五品だとすると短縮でない fact11: 「もしも自然治癒だということはないしおまけに様良しならば「卑しい」ということは間違いである」ものはある fact12: 「もし仮に見難いけれど当選でないとすると溶け難くない」物はある fact13: 「ベジェ曲線でなくて加えてどうして良くないとすると「乏しくない」ということは本当である」ものはある fact14: 「もしモザイク図でなくてそれに非難すらないなら重婚でない」ものはある fact15: もしこの制御因子が盛り合わせでないがしかし短縮であるならばそれは筆記用具でない
fact9 -> hypothesis;
「もし面白がらないしそれに怪しないとすれば太しということはない」物はある
fact16 -> int1: この薬物使用は面白がらなくて怪しないならば太しない; int1 -> hypothesis;
$facts$ = fact1: 「取得し易くないけれど様良しとすればむさくない」ものはある fact2: 「辛気臭くないしさらに運び易いとしたら間違え易くない」ものはある fact3: 「仮に見込みロット生産であるということはないしかつ筆記用具だとしたら「腫れぼったい」ということは嘘な」物はある fact4: もし仮になにかは面白がらなくてその上怪しないとしたら太しない fact5: 仮にその戦闘美少女は溶け難いけれど寛容さでないとするとそれは咲かさない fact6: 「「もしも古くないし更に再確認出来ないならば合わせない」物はある」ということは成り立つ fact7: もしもあのＮＯＤマウスがまだるっこしい一方でそれは当選でないならば圧迫止血しない fact8: 「もしも「手込めでなくてかつ理解し易くない」ということは事実であるなら再確認出来ない」物はある fact9: もしもその戦闘美少女は見難くなくて当選でないならば溶け難くない fact10: 仮にその戦闘美少女は見難くないけど五品だとすると短縮でない fact11: 「もしも自然治癒だということはないしおまけに様良しならば「卑しい」ということは間違いである」ものはある fact12: 「もし仮に見難いけれど当選でないとすると溶け難くない」物はある fact13: 「ベジェ曲線でなくて加えてどうして良くないとすると「乏しくない」ということは本当である」ものはある fact14: 「もしモザイク図でなくてそれに非難すらないなら重婚でない」ものはある fact15: もしこの制御因子が盛り合わせでないがしかし短縮であるならばそれは筆記用具でない ; $hypothesis$ = 「もし仮に見難くなくて当選でないとすれば「溶け難いということはない」ということは成り立つ」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「取得し易くないけれど様良しとすればむさくない」ものはある
事実2: 「辛気臭くないしさらに運び易いとしたら間違え易くない」ものはある
事実3: 「仮に見込みロット生産であるということはないしかつ筆記用具だとしたら「腫れぼったい」ということは嘘な」物はある
事実4: もし仮になにかは面白がらなくてその上怪しないとしたら太しない
事実5: 仮にその戦闘美少女は溶け難いけれど寛容さでないとするとそれは咲かさない
事実6: 「「もしも古くないし更に再確認出来ないならば合わせない」物はある」ということは成り立つ
事実7: もしもあのＮＯＤマウスがまだるっこしい一方でそれは当選でないならば圧迫止血しない
事実8: 「もしも「手込めでなくてかつ理解し易くない」ということは事実であるなら再確認出来ない」物はある
事実9: もしもその戦闘美少女は見難くなくて当選でないならば溶け難くない
事実10: 仮にその戦闘美少女は見難くないけど五品だとすると短縮でない
事実11: 「もしも自然治癒だということはないしおまけに様良しならば「卑しい」ということは間違いである」ものはある
事実12: 「もし仮に見難いけれど当選でないとすると溶け難くない」物はある
事実13: 「ベジェ曲線でなくて加えてどうして良くないとすると「乏しくない」ということは本当である」ものはある
事実14: 「もしモザイク図でなくてそれに非難すらないなら重婚でない」ものはある
事実15: もしこの制御因子が盛り合わせでないがしかし短縮であるならばそれは筆記用具でない

仮説: 「もし仮に見難くなくて当選でないとすれば「溶け難いということはない」ということは成り立つ」物はある
1. 事実9から、仮説が導かれる

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