「間違え易いが類焼するということはない」物はある
fact1: あの審美性はちょろい fact2: 「何らかのものは間違え易くて類焼する」ということは真実だ fact3: あの次位は類焼する fact4: あの審美性は間違え易いがしかし類焼しない fact5: あの審美性はＵＹだ fact6: なにかは間違え易いならばそれは細長いが中央委員でない fact7: もしなにがしかの物が溶け易いということはないとしたらそれは得られ易くないしそれは耳打ちしない fact8: あの審美性は巡業する fact9: 優しくないテトラサイクリンはある fact10: 「ひ弱い」物はある fact11: このワイドは間違え易い fact12: 何らかのものは包み隠す fact13: 「あの審美性はロブスターだ一方で類焼しない」ということは成り立つ fact14: 辛いし更に弁解がましいものはある fact15: あの審美性はテトラサイクリンだ fact16: 「おっきいしそれに懐こい」物はある fact17: その自由分は溶け易くない一方でそれはラテンアメリカ諸国である fact18: その三菱式双発輸送機は類焼する
fact4 -> hypothesis;
fact4 -> hypothesis;
なんらかの物は細長いが中央委員でない
fact19 -> int1: もし仮にその自由分が間違え易いとするとそれは細長くてそれは中央委員でない;
$facts$ = fact1: あの審美性はちょろい fact2: 「何らかのものは間違え易くて類焼する」ということは真実だ fact3: あの次位は類焼する fact4: あの審美性は間違え易いがしかし類焼しない fact5: あの審美性はＵＹだ fact6: なにかは間違え易いならばそれは細長いが中央委員でない fact7: もしなにがしかの物が溶け易いということはないとしたらそれは得られ易くないしそれは耳打ちしない fact8: あの審美性は巡業する fact9: 優しくないテトラサイクリンはある fact10: 「ひ弱い」物はある fact11: このワイドは間違え易い fact12: 何らかのものは包み隠す fact13: 「あの審美性はロブスターだ一方で類焼しない」ということは成り立つ fact14: 辛いし更に弁解がましいものはある fact15: あの審美性はテトラサイクリンだ fact16: 「おっきいしそれに懐こい」物はある fact17: その自由分は溶け易くない一方でそれはラテンアメリカ諸国である fact18: その三菱式双発輸送機は類焼する ; $hypothesis$ = 「間違え易いが類焼するということはない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あの審美性はちょろい
事実2: 「何らかのものは間違え易くて類焼する」ということは真実だ
事実3: あの次位は類焼する
事実4: あの審美性は間違え易いがしかし類焼しない
事実5: あの審美性はＵＹだ
事実6: なにかは間違え易いならばそれは細長いが中央委員でない
事実7: もしなにがしかの物が溶け易いということはないとしたらそれは得られ易くないしそれは耳打ちしない
事実8: あの審美性は巡業する
事実9: 優しくないテトラサイクリンはある
事実10: 「ひ弱い」物はある
事実11: このワイドは間違え易い
事実12: 何らかのものは包み隠す
事実13: 「あの審美性はロブスターだ一方で類焼しない」ということは成り立つ
事実14: 辛いし更に弁解がましいものはある
事実15: あの審美性はテトラサイクリンだ
事実16: 「おっきいしそれに懐こい」物はある
事実17: その自由分は溶け易くない一方でそれはラテンアメリカ諸国である
事実18: その三菱式双発輸送機は類焼する

仮説: 「間違え易いが類焼するということはない」物はある
1. 事実4から、仮説が導かれる

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