この会社四季報は免れ難くないしさらに信仰するということはない
fact1: 仮にあの国内生産量が言い表わせばこの会社四季報は免れ難くないしそれに信仰しない fact2: この会社四季報は言い表わさない fact3: あの国内生産量は免れ難い fact4: あのポシェは競合しないし言い表わさない fact5: この嫌らしさは言い表わす fact6: もしあの国内生産量が免れ難いとすればこの会社四季報は言い表わさないしそれに信仰しない fact7: あの国内生産量は言い表わす fact8: この会社四季報は信仰しない fact9: もしもこの会社四季報が言い表わすとしたらあの国内生産量は免れ難くない fact10: あの国内生産量は信仰しない fact11: もし仮にあの国内生産量は免れ難いとすれば「この会社四季報は言い表わさない」ということは確かだ fact12: もし仮になんらかの物が離るないかまたは心安いならそれは言い表わさない
fact1 & fact7 -> hypothesis;
fact1 & fact7 -> hypothesis;
「この会社四季報が免れ難くないしさらに信仰しない」ということは誤っている
fact13 -> int1: もし仮にこの会社四季報は離るということはないかあるいは心安いかもしくは両方ともであるとすると言い表わさない;
$facts$ = fact1: 仮にあの国内生産量が言い表わせばこの会社四季報は免れ難くないしそれに信仰しない fact2: この会社四季報は言い表わさない fact3: あの国内生産量は免れ難い fact4: あのポシェは競合しないし言い表わさない fact5: この嫌らしさは言い表わす fact6: もしあの国内生産量が免れ難いとすればこの会社四季報は言い表わさないしそれに信仰しない fact7: あの国内生産量は言い表わす fact8: この会社四季報は信仰しない fact9: もしもこの会社四季報が言い表わすとしたらあの国内生産量は免れ難くない fact10: あの国内生産量は信仰しない fact11: もし仮にあの国内生産量は免れ難いとすれば「この会社四季報は言い表わさない」ということは確かだ fact12: もし仮になんらかの物が離るないかまたは心安いならそれは言い表わさない ; $hypothesis$ = この会社四季報は免れ難くないしさらに信仰するということはない ; $proof$ = 
fact1 & fact7 -> hypothesis; __PROVED__
事実1: 仮にあの国内生産量が言い表わせばこの会社四季報は免れ難くないしそれに信仰しない
事実2: この会社四季報は言い表わさない
事実3: あの国内生産量は免れ難い
事実4: あのポシェは競合しないし言い表わさない
事実5: この嫌らしさは言い表わす
事実6: もしあの国内生産量が免れ難いとすればこの会社四季報は言い表わさないしそれに信仰しない
事実7: あの国内生産量は言い表わす
事実8: この会社四季報は信仰しない
事実9: もしもこの会社四季報が言い表わすとしたらあの国内生産量は免れ難くない
事実10: あの国内生産量は信仰しない
事実11: もし仮にあの国内生産量は免れ難いとすれば「この会社四季報は言い表わさない」ということは確かだ
事実12: もし仮になんらかの物が離るないかまたは心安いならそれは言い表わさない

仮説: この会社四季報は免れ難くないしさらに信仰するということはない
1. 事実1と事実7から、仮説が導かれる

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