この御雑煮データは当て身であるけどそれは語り合わない
fact1: この御雑煮データは生き辛いけれどそれは語り合うということはない fact2: この御雑煮データは轢過しない fact3: もしこの構造要因が当て身でないとすればあの御雑煮データは生き辛い fact4: あの定休日は組織出来るが当て身でない fact5: この構造要因は信仰深い一方で難破船でない fact6: この構造要因が語り合うということはないとするとこの御雑煮データは生き辛い fact7: この御雑煮データは語り合わない fact8: この構造要因は生き辛くない fact9: この構造要因は語り合う fact10: もし仮にこの構造要因が生き辛くないとするとこの御雑煮データは当て身だけれど語り合わない fact11: もしこの構造要因が生き辛くないとすればこの御雑煮データは語り合わない fact12: もしこの構造要因が当て身でないとすればこの御雑煮データは語り合うがしかし生き辛くない fact13: 「この構造要因は犯し難い」ということは正しい
fact10 & fact8 -> hypothesis;
$facts$ = fact1: この御雑煮データは生き辛いけれどそれは語り合うということはない fact2: この御雑煮データは轢過しない fact3: もしこの構造要因が当て身でないとすればあの御雑煮データは生き辛い fact4: あの定休日は組織出来るが当て身でない fact5: この構造要因は信仰深い一方で難破船でない fact6: この構造要因が語り合うということはないとするとこの御雑煮データは生き辛い fact7: この御雑煮データは語り合わない fact8: この構造要因は生き辛くない fact9: この構造要因は語り合う fact10: もし仮にこの構造要因が生き辛くないとするとこの御雑煮データは当て身だけれど語り合わない fact11: もしこの構造要因が生き辛くないとすればこの御雑煮データは語り合わない fact12: もしこの構造要因が当て身でないとすればこの御雑煮データは語り合うがしかし生き辛くない fact13: 「この構造要因は犯し難い」ということは正しい ; $hypothesis$ = この御雑煮データは当て身であるけどそれは語り合わない ; $proof$ = 
fact10 & fact8 -> hypothesis; __PROVED__
事実1: この御雑煮データは生き辛いけれどそれは語り合うということはない
事実2: この御雑煮データは轢過しない
事実3: もしこの構造要因が当て身でないとすればあの御雑煮データは生き辛い
事実4: あの定休日は組織出来るが当て身でない
事実5: この構造要因は信仰深い一方で難破船でない
事実6: この構造要因が語り合うということはないとするとこの御雑煮データは生き辛い
事実7: この御雑煮データは語り合わない
事実8: この構造要因は生き辛くない
事実9: この構造要因は語り合う
事実10: もし仮にこの構造要因が生き辛くないとするとこの御雑煮データは当て身だけれど語り合わない
事実11: もしこの構造要因が生き辛くないとすればこの御雑煮データは語り合わない
事実12: もしこの構造要因が当て身でないとすればこの御雑煮データは語り合うがしかし生き辛くない
事実13: 「この構造要因は犯し難い」ということは正しい

仮説: この御雑煮データは当て身であるけどそれは語り合わない
1. 事実10と事実8から、仮説が導かれる

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