この林産物は禍々しいかもしくはそれは選択し易い
fact1: もしも「あのピーチは着地しないがしかし予報だ」ということは成り立たないとすればそれは選択し易い fact2: 「この林産物は着地するしその上金利動向だ」ということは成り立たない fact3: もし仮にその変形期間が准尉であるということはないならあのピーチは准尉でない fact4: この林産物は着地するということはない fact5: あのピーチは予報である fact6: この林産物が着地するとすればそれは禍々しい fact7: この林産物が着地しないけれど金利動向であるとしたらあのピーチは予報でない fact8: もしもこの林産物が着地するし金利動向であるとすればあのピーチは予報でない fact9: もしこの林産物が予報で選択し易いとすればあのピーチは選択し易くない fact10: もし仮にその政財界が動き難いということはないとしたらこの林産物は予報であるしまた禍々しい fact11: もし仮に「この林産物は着地しないけど金利動向だ」ということは成り立たないならばそれは禍々しい fact12: 「なにかは事故ちゃんであるがしかし弱々しかない」ということは間違っているとすると予報でない fact13: もしも「あのピーチは准尉であるということはない」ということは本当だとしたら「「この林産物は事故ちゃんであるけど弱々しかない」ということは偽である」ということは成り立つ fact14: その真西が准尉であるしそれが後ろ暗いならその変形期間は准尉でない
void -> assump1: 以下のように仮定する。この林産物は着地しないけどそれは金利動向である; fact7 & assump1 -> int1: 「あのピーチは予報でない」ということは正しい; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この林産物は着地しないけどそれは金利動向である」ということは偽である; int3 & fact11 -> int4: この林産物は禍々しい; int4 -> hypothesis;
あのピーチは選択し易くない
$facts$ = fact1: もしも「あのピーチは着地しないがしかし予報だ」ということは成り立たないとすればそれは選択し易い fact2: 「この林産物は着地するしその上金利動向だ」ということは成り立たない fact3: もし仮にその変形期間が准尉であるということはないならあのピーチは准尉でない fact4: この林産物は着地するということはない fact5: あのピーチは予報である fact6: この林産物が着地するとすればそれは禍々しい fact7: この林産物が着地しないけれど金利動向であるとしたらあのピーチは予報でない fact8: もしもこの林産物が着地するし金利動向であるとすればあのピーチは予報でない fact9: もしこの林産物が予報で選択し易いとすればあのピーチは選択し易くない fact10: もし仮にその政財界が動き難いということはないとしたらこの林産物は予報であるしまた禍々しい fact11: もし仮に「この林産物は着地しないけど金利動向だ」ということは成り立たないならばそれは禍々しい fact12: 「なにかは事故ちゃんであるがしかし弱々しかない」ということは間違っているとすると予報でない fact13: もしも「あのピーチは准尉であるということはない」ということは本当だとしたら「「この林産物は事故ちゃんであるけど弱々しかない」ということは偽である」ということは成り立つ fact14: その真西が准尉であるしそれが後ろ暗いならその変形期間は准尉でない ; $hypothesis$ = この林産物は禍々しいかもしくはそれは選択し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この林産物は着地しないけどそれは金利動向である; fact7 & assump1 -> int1: 「あのピーチは予報でない」ということは正しい; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この林産物は着地しないけどそれは金利動向である」ということは偽である; int3 & fact11 -> int4: この林産物は禍々しい; int4 -> hypothesis; __PROVED__
事実1: もしも「あのピーチは着地しないがしかし予報だ」ということは成り立たないとすればそれは選択し易い
事実2: 「この林産物は着地するしその上金利動向だ」ということは成り立たない
事実3: もし仮にその変形期間が准尉であるということはないならあのピーチは准尉でない
事実4: この林産物は着地するということはない
事実5: あのピーチは予報である
事実6: この林産物が着地するとすればそれは禍々しい
事実7: この林産物が着地しないけれど金利動向であるとしたらあのピーチは予報でない
事実8: もしもこの林産物が着地するし金利動向であるとすればあのピーチは予報でない
事実9: もしこの林産物が予報で選択し易いとすればあのピーチは選択し易くない
事実10: もし仮にその政財界が動き難いということはないとしたらこの林産物は予報であるしまた禍々しい
事実11: もし仮に「この林産物は着地しないけど金利動向だ」ということは成り立たないならばそれは禍々しい
事実12: 「なにかは事故ちゃんであるがしかし弱々しかない」ということは間違っているとすると予報でない
事実13: もしも「あのピーチは准尉であるということはない」ということは本当だとしたら「「この林産物は事故ちゃんであるけど弱々しかない」ということは偽である」ということは成り立つ
事実14: その真西が准尉であるしそれが後ろ暗いならその変形期間は准尉でない

仮説: この林産物は禍々しいかもしくはそれは選択し易い
1. 仮定1: 以下のように仮定する。この林産物は着地しないけどそれは金利動向である
2. 事実7と仮定1から、推論1: "「あのピーチは予報でない」ということは正しい"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この林産物は着地しないけどそれは金利動向である」ということは偽である"が導かれる
5. 推論3と事実11から、推論4: "この林産物は禍々しい"が導かれる
6. 推論4から、仮説が導かれる

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