「この鼻アレルギーは信心深くないか一坊であるかまたは両方だ」ということは成り立つということはない
fact1: 「そのイスラーム社会は信心深くないかまたは知的財産権管理部門だ」ということは偽である fact2: もし仮にこの鼻アレルギーが言論だということはないなら一坊でない fact3: そのイスラーム社会は委託対象であるかまたは政権維持だ fact4: 出来易くない物は政権維持であるししかも一坊だ fact5: この部族内反対派は六乾神経痛でない fact6: この鼻アレルギーは一坊でない fact7: もしこのグリーン電力が政権維持であるならこの鼻アレルギーは政権維持である fact8: そのイスラーム社会は委託対象であるかあるいは政権維持であるということはない fact9: 「委託対象であるかまたは政権維持であるかもしくはどちらもな」物はある fact10: もしとある物は委託対象でないならば「それは言論でないかあるいはそれは長拍化する」ということは成り立たない fact11: 仮にとあるものが委託対象であるかもしくは政権維持でないかもしくはどちらもであるとしたらこの鼻アレルギーは言論であるということはない fact12: 仮にこの鼻アレルギーが信心深いかもしくは委託対象でないか両方であるならばこの補任は委託対象でない fact13: もし仮に政権維持は一坊であるならば委託対象でない fact14: この部族内反対派が六乾神経痛でないとすれば政権維持であるししかも言論だ fact15: もしも「政権維持でない」ものがあるとするとこの鼻アレルギーは言論でない fact16: 「この鼻アレルギーは六乾神経痛でないがしかし出来易い」ということは間違っているとすると出来易くない fact17: もし仮にこの鼻アレルギーは言論でないならば「信心深くないかまたは一坊であるか両方だ」ということは本当でない fact18: もしも政権維持があるとするとこのグリーン電力は政権維持であるかもしくはそれは出来易い
fact8 -> int1: 「委託対象であるか政権維持でないかどちらもな」ものはある; int1 & fact11 -> int2: この鼻アレルギーは言論でない; int2 & fact17 -> hypothesis;
この鼻アレルギーは信心深くないかもしくは一坊であるかあるいは両方だ
fact19 & fact21 -> int3: この部族内反対派が政権維持だしそれにそれは言論だ; int3 -> int4: 「この部族内反対派は政権維持だ」ということは真実である; int4 -> int5: 「政権維持である」物はある; int5 & fact20 -> int6: このグリーン電力は政権維持であるかまたは出来易いかあるいは両方である;
$facts$ = fact1: 「そのイスラーム社会は信心深くないかまたは知的財産権管理部門だ」ということは偽である fact2: もし仮にこの鼻アレルギーが言論だということはないなら一坊でない fact3: そのイスラーム社会は委託対象であるかまたは政権維持だ fact4: 出来易くない物は政権維持であるししかも一坊だ fact5: この部族内反対派は六乾神経痛でない fact6: この鼻アレルギーは一坊でない fact7: もしこのグリーン電力が政権維持であるならこの鼻アレルギーは政権維持である fact8: そのイスラーム社会は委託対象であるかあるいは政権維持であるということはない fact9: 「委託対象であるかまたは政権維持であるかもしくはどちらもな」物はある fact10: もしとある物は委託対象でないならば「それは言論でないかあるいはそれは長拍化する」ということは成り立たない fact11: 仮にとあるものが委託対象であるかもしくは政権維持でないかもしくはどちらもであるとしたらこの鼻アレルギーは言論であるということはない fact12: 仮にこの鼻アレルギーが信心深いかもしくは委託対象でないか両方であるならばこの補任は委託対象でない fact13: もし仮に政権維持は一坊であるならば委託対象でない fact14: この部族内反対派が六乾神経痛でないとすれば政権維持であるししかも言論だ fact15: もしも「政権維持でない」ものがあるとするとこの鼻アレルギーは言論でない fact16: 「この鼻アレルギーは六乾神経痛でないがしかし出来易い」ということは間違っているとすると出来易くない fact17: もし仮にこの鼻アレルギーは言論でないならば「信心深くないかまたは一坊であるか両方だ」ということは本当でない fact18: もしも政権維持があるとするとこのグリーン電力は政権維持であるかもしくはそれは出来易い ; $hypothesis$ = 「この鼻アレルギーは信心深くないか一坊であるかまたは両方だ」ということは成り立つということはない ; $proof$ = 
fact8 -> int1: 「委託対象であるか政権維持でないかどちらもな」ものはある; int1 & fact11 -> int2: この鼻アレルギーは言論でない; int2 & fact17 -> hypothesis; __PROVED__
事実1: 「そのイスラーム社会は信心深くないかまたは知的財産権管理部門だ」ということは偽である
事実2: もし仮にこの鼻アレルギーが言論だということはないなら一坊でない
事実3: そのイスラーム社会は委託対象であるかまたは政権維持だ
事実4: 出来易くない物は政権維持であるししかも一坊だ
事実5: この部族内反対派は六乾神経痛でない
事実6: この鼻アレルギーは一坊でない
事実7: もしこのグリーン電力が政権維持であるならこの鼻アレルギーは政権維持である
事実8: そのイスラーム社会は委託対象であるかあるいは政権維持であるということはない
事実9: 「委託対象であるかまたは政権維持であるかもしくはどちらもな」物はある
事実10: もしとある物は委託対象でないならば「それは言論でないかあるいはそれは長拍化する」ということは成り立たない
事実11: 仮にとあるものが委託対象であるかもしくは政権維持でないかもしくはどちらもであるとしたらこの鼻アレルギーは言論であるということはない
事実12: 仮にこの鼻アレルギーが信心深いかもしくは委託対象でないか両方であるならばこの補任は委託対象でない
事実13: もし仮に政権維持は一坊であるならば委託対象でない
事実14: この部族内反対派が六乾神経痛でないとすれば政権維持であるししかも言論だ
事実15: もしも「政権維持でない」ものがあるとするとこの鼻アレルギーは言論でない
事実16: 「この鼻アレルギーは六乾神経痛でないがしかし出来易い」ということは間違っているとすると出来易くない
事実17: もし仮にこの鼻アレルギーは言論でないならば「信心深くないかまたは一坊であるか両方だ」ということは本当でない
事実18: もしも政権維持があるとするとこのグリーン電力は政権維持であるかもしくはそれは出来易い

仮説: 「この鼻アレルギーは信心深くないか一坊であるかまたは両方だ」ということは成り立つということはない
1. 事実8から、推論1: "「委託対象であるか政権維持でないかどちらもな」ものはある"が導かれる
2. 推論1と事実11から、推論2: "この鼻アレルギーは言論でない"が導かれる
3. 推論2と事実17から、仮説が導かれる

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