この農民一揆はＥＭ要素であるけど電子対生成でない
fact1: もしその抗癌薬が電子対生成でないとすればあの農民一揆はＥＭ要素であるが電子対生成でない fact2: もし「この手鼻は離れ難くないし高齢者医療でない」ということは嘘であるとすればあの福祉ミックス理論は馴染み易くない fact3: 「この手鼻は離れ難いということはないしまた高齢者医療でない」ということは成り立たない fact4: もしあの福祉ミックス理論が手入れしなくて継続し難くないとしたらその抗癌薬は動かし難くない fact5: 仮に「なにがしかのものは手入れするということはないし継続し難くない」ということは成り立たないとしたら「それは馴染み易い」ということは事実だ fact6: もしその抗癌薬が動かし難くないか切り易いかもしくは両方ともだとすれば電子対生成でない fact7: 仮にこの農民一揆は動かし難くないとすれば「ＥＭ要素だしかつ電子対生成でない」ということは嘘だ fact8: 仮にあの福祉ミックス理論が手入れするけどそれが継続し難いということはないとすればあの抗癌薬は動かし難くない
fact5 -> int1: 仮に「「あの福祉ミックス理論は手入れするということはないしおまけに継続し難いということはない」ということは成り立つ」ということは成り立たないとすると馴染み易い; void -> assump1: 以下のように仮定する。「あの福祉ミックス理論は手入れしないし加えて継続し難くない」ということは成り立たない; int1 & assump1 -> int2: あの福祉ミックス理論は馴染み易い; fact3 & fact2 -> int3: あの福祉ミックス理論は馴染み易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの福祉ミックス理論は手入れしなくてまた継続し難くない; int5 & fact4 -> int6: その抗癌薬は動かし難くない; int6 -> int7: その抗癌薬は動かし難いということはないかもしくは切り易いか両方ともだ; int7 & fact6 -> int8: その抗癌薬は電子対生成でない; int8 & fact1 -> hypothesis;
「この農民一揆はＥＭ要素であるけど電子対生成でない」ということは成り立つということはない
$facts$ = fact1: もしその抗癌薬が電子対生成でないとすればあの農民一揆はＥＭ要素であるが電子対生成でない fact2: もし「この手鼻は離れ難くないし高齢者医療でない」ということは嘘であるとすればあの福祉ミックス理論は馴染み易くない fact3: 「この手鼻は離れ難いということはないしまた高齢者医療でない」ということは成り立たない fact4: もしあの福祉ミックス理論が手入れしなくて継続し難くないとしたらその抗癌薬は動かし難くない fact5: 仮に「なにがしかのものは手入れするということはないし継続し難くない」ということは成り立たないとしたら「それは馴染み易い」ということは事実だ fact6: もしその抗癌薬が動かし難くないか切り易いかもしくは両方ともだとすれば電子対生成でない fact7: 仮にこの農民一揆は動かし難くないとすれば「ＥＭ要素だしかつ電子対生成でない」ということは嘘だ fact8: 仮にあの福祉ミックス理論が手入れするけどそれが継続し難いということはないとすればあの抗癌薬は動かし難くない ; $hypothesis$ = この農民一揆はＥＭ要素であるけど電子対生成でない ; $proof$ = 
fact5 -> int1: 仮に「「あの福祉ミックス理論は手入れするということはないしおまけに継続し難いということはない」ということは成り立つ」ということは成り立たないとすると馴染み易い; void -> assump1: 以下のように仮定する。「あの福祉ミックス理論は手入れしないし加えて継続し難くない」ということは成り立たない; int1 & assump1 -> int2: あの福祉ミックス理論は馴染み易い; fact3 & fact2 -> int3: あの福祉ミックス理論は馴染み易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの福祉ミックス理論は手入れしなくてまた継続し難くない; int5 & fact4 -> int6: その抗癌薬は動かし難くない; int6 -> int7: その抗癌薬は動かし難いということはないかもしくは切り易いか両方ともだ; int7 & fact6 -> int8: その抗癌薬は電子対生成でない; int8 & fact1 -> hypothesis; __PROVED__
事実1: もしその抗癌薬が電子対生成でないとすればあの農民一揆はＥＭ要素であるが電子対生成でない
事実2: もし「この手鼻は離れ難くないし高齢者医療でない」ということは嘘であるとすればあの福祉ミックス理論は馴染み易くない
事実3: 「この手鼻は離れ難いということはないしまた高齢者医療でない」ということは成り立たない
事実4: もしあの福祉ミックス理論が手入れしなくて継続し難くないとしたらその抗癌薬は動かし難くない
事実5: 仮に「なにがしかのものは手入れするということはないし継続し難くない」ということは成り立たないとしたら「それは馴染み易い」ということは事実だ
事実6: もしその抗癌薬が動かし難くないか切り易いかもしくは両方ともだとすれば電子対生成でない
事実7: 仮にこの農民一揆は動かし難くないとすれば「ＥＭ要素だしかつ電子対生成でない」ということは嘘だ
事実8: 仮にあの福祉ミックス理論が手入れするけどそれが継続し難いということはないとすればあの抗癌薬は動かし難くない

仮説: この農民一揆はＥＭ要素であるけど電子対生成でない
1. 事実5から、推論1: "仮に「「あの福祉ミックス理論は手入れするということはないしおまけに継続し難いということはない」ということは成り立つ」ということは成り立たないとすると馴染み易い"が導かれる
2. 仮定1: 以下のように仮定する。「あの福祉ミックス理論は手入れしないし加えて継続し難くない」ということは成り立たない
3. 推論1と仮定1から、推論2: "あの福祉ミックス理論は馴染み易い"が導かれる
4. 事実3と事実2から、推論3: "あの福祉ミックス理論は馴染み易くない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの福祉ミックス理論は手入れしなくてまた継続し難くない"が導かれる
7. 推論5と事実4から、推論6: "その抗癌薬は動かし難くない"が導かれる
8. 推論6から、推論7: "その抗癌薬は動かし難いということはないかもしくは切り易いか両方ともだ"が導かれる
9. 推論7と事実6から、推論8: "その抗癌薬は電子対生成でない"が導かれる
10. 推論8と事実1から、仮説が導かれる

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