このエルゴステロールは好もしかない
fact1: もしも「このエルゴステロールは同期するかあるいは決着するかもしくはどちらもだ」ということは成り立たないとしたら「それは好もしかない」ということは真実である fact2: もし仮に「「このエルゴステロールはウインカーであるかまたはそれは同期しないか両方ともである」ということは誤りだ」ということは成り立つとしたらそれは食い入るということはない fact3: 「このエルゴステロールはせこいかまたは動揺し始めない」ということは正しくない fact4: 「このエルゴステロールは扱き使うか局所治療でない」ということは事実だということはない fact5: もしも何らかの物は出現し易くないとしたら「同期するかあるいは決着しないかまたは両方である」ということは成り立つということはない fact6: 「このエルゴステロールは決着する」ということは成り立つ fact7: 仮に「とある物は意地悪くない」ということは事実だとすれば「「それはパク室長であるかそれはアルファベットでない」ということは事実だ」ということは成り立たない fact8: もし「あるものは同期するかもしくは決着するかまたはどちらもだ」ということは嘘ならそれは好もしかない fact9: 「この両国広小路は好もしいかそれは頻出するということはないかもしくはどちらもだ」ということは誤りだ fact10: 出現し易くない物は決着する fact11: この枸杞は出現し易くない fact12: このエルゴステロールは出現し易くない fact13: 「もしも「なんらかの物は消費者サイドであるかもしくは経口感染でないかあるいは両方ともだ」ということは本当でないとすると仄暗くない」ということは事実だ fact14: もし仮にこのエルゴステロールは出現し易くないとしたら決着する fact15: このエルゴステロールはふてぶてしいということはないとすると「意地悪いか買い求めるということはないか両方だ」ということは間違っている fact16: もし仮にこのエルゴステロールは出現し易くないとすると「それは繁殖し易いかまたはそれは得られ易くないかどちらもだ」ということは偽だ fact17: 「このエルゴステロールは一等地であるかそれは決着しないか両方だ」ということは間違っている fact18: もし「なにかは同期するか決着しないかもしくは両方だ」ということは成り立たないならそれは好もしかない
fact5 -> int1: もしこのエルゴステロールは出現し易くないなら「それは同期するかもしくは決着しないかまたは両方だ」ということは誤っている; int1 & fact12 -> int2: 「このエルゴステロールは同期するかあるいはそれは決着しない」ということは間違いだ; fact18 -> int3: 仮に「このエルゴステロールは同期するかもしくは決着するということはない」ということは誤っているとすると好もしいということはない; int2 & int3 -> hypothesis;
$facts$ = fact1: もしも「このエルゴステロールは同期するかあるいは決着するかもしくはどちらもだ」ということは成り立たないとしたら「それは好もしかない」ということは真実である fact2: もし仮に「「このエルゴステロールはウインカーであるかまたはそれは同期しないか両方ともである」ということは誤りだ」ということは成り立つとしたらそれは食い入るということはない fact3: 「このエルゴステロールはせこいかまたは動揺し始めない」ということは正しくない fact4: 「このエルゴステロールは扱き使うか局所治療でない」ということは事実だということはない fact5: もしも何らかの物は出現し易くないとしたら「同期するかあるいは決着しないかまたは両方である」ということは成り立つということはない fact6: 「このエルゴステロールは決着する」ということは成り立つ fact7: 仮に「とある物は意地悪くない」ということは事実だとすれば「「それはパク室長であるかそれはアルファベットでない」ということは事実だ」ということは成り立たない fact8: もし「あるものは同期するかもしくは決着するかまたはどちらもだ」ということは嘘ならそれは好もしかない fact9: 「この両国広小路は好もしいかそれは頻出するということはないかもしくはどちらもだ」ということは誤りだ fact10: 出現し易くない物は決着する fact11: この枸杞は出現し易くない fact12: このエルゴステロールは出現し易くない fact13: 「もしも「なんらかの物は消費者サイドであるかもしくは経口感染でないかあるいは両方ともだ」ということは本当でないとすると仄暗くない」ということは事実だ fact14: もし仮にこのエルゴステロールは出現し易くないとしたら決着する fact15: このエルゴステロールはふてぶてしいということはないとすると「意地悪いか買い求めるということはないか両方だ」ということは間違っている fact16: もし仮にこのエルゴステロールは出現し易くないとすると「それは繁殖し易いかまたはそれは得られ易くないかどちらもだ」ということは偽だ fact17: 「このエルゴステロールは一等地であるかそれは決着しないか両方だ」ということは間違っている fact18: もし「なにかは同期するか決着しないかもしくは両方だ」ということは成り立たないならそれは好もしかない ; $hypothesis$ = このエルゴステロールは好もしかない ; $proof$ = 
fact5 -> int1: もしこのエルゴステロールは出現し易くないなら「それは同期するかもしくは決着しないかまたは両方だ」ということは誤っている; int1 & fact12 -> int2: 「このエルゴステロールは同期するかあるいはそれは決着しない」ということは間違いだ; fact18 -> int3: 仮に「このエルゴステロールは同期するかもしくは決着するということはない」ということは誤っているとすると好もしいということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしも「このエルゴステロールは同期するかあるいは決着するかもしくはどちらもだ」ということは成り立たないとしたら「それは好もしかない」ということは真実である
事実2: もし仮に「「このエルゴステロールはウインカーであるかまたはそれは同期しないか両方ともである」ということは誤りだ」ということは成り立つとしたらそれは食い入るということはない
事実3: 「このエルゴステロールはせこいかまたは動揺し始めない」ということは正しくない
事実4: 「このエルゴステロールは扱き使うか局所治療でない」ということは事実だということはない
事実5: もしも何らかの物は出現し易くないとしたら「同期するかあるいは決着しないかまたは両方である」ということは成り立つということはない
事実6: 「このエルゴステロールは決着する」ということは成り立つ
事実7: 仮に「とある物は意地悪くない」ということは事実だとすれば「「それはパク室長であるかそれはアルファベットでない」ということは事実だ」ということは成り立たない
事実8: もし「あるものは同期するかもしくは決着するかまたはどちらもだ」ということは嘘ならそれは好もしかない
事実9: 「この両国広小路は好もしいかそれは頻出するということはないかもしくはどちらもだ」ということは誤りだ
事実10: 出現し易くない物は決着する
事実11: この枸杞は出現し易くない
事実12: このエルゴステロールは出現し易くない
事実13: 「もしも「なんらかの物は消費者サイドであるかもしくは経口感染でないかあるいは両方ともだ」ということは本当でないとすると仄暗くない」ということは事実だ
事実14: もし仮にこのエルゴステロールは出現し易くないとしたら決着する
事実15: このエルゴステロールはふてぶてしいということはないとすると「意地悪いか買い求めるということはないか両方だ」ということは間違っている
事実16: もし仮にこのエルゴステロールは出現し易くないとすると「それは繁殖し易いかまたはそれは得られ易くないかどちらもだ」ということは偽だ
事実17: 「このエルゴステロールは一等地であるかそれは決着しないか両方だ」ということは間違っている
事実18: もし「なにかは同期するか決着しないかもしくは両方だ」ということは成り立たないならそれは好もしかない

仮説: このエルゴステロールは好もしかない
1. 事実5から、推論1: "もしこのエルゴステロールは出現し易くないなら「それは同期するかもしくは決着しないかまたは両方だ」ということは誤っている"が導かれる
2. 推論1と事実12から、推論2: "「このエルゴステロールは同期するかあるいはそれは決着しない」ということは間違いだ"が導かれる
3. 事実18から、推論3: "仮に「このエルゴステロールは同期するかもしくは決着するということはない」ということは誤っているとすると好もしいということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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