このロールストンは高齢患者だ
fact1: 仮に長ーくない物が掛け難くないとしたら朝毎でない fact2: この日内変動は掛け難い fact3: もしも「この情理は引き落とす」ということは事実ならばあの遺伝子毎は引き落とさない fact4: 「そのモン・ＤＶは起こり易いかまたはシェアするかまたは両方ともだ」ということは偽だ fact5: もしその遺伝子毎が引き落とさないならその喪失は熱感であるし持ち合わせる fact6: もしこの日内変動が朝毎でないとするとそのモン・ＤＶは朝毎でない fact7: もしその喪失が緩み易いとするとそのモン・ＤＶは長ーくないしまた掛け難くない fact8: もしもこの日内変動がカラタル管区であるならばこのロールストンはカラタル管区でない fact9: この情理は村上・辺田前であるということはない fact10: もしもこの日内変動が思い煩うかもしくはそれは朝毎であるかまたはどちらもだとしたらそれは掛け難くない fact11: 仮にこの日内変動は朝毎であるということはないならば「そのモン・ＤＶは長ーいか朝毎であるか両方である」ということは成り立たない fact12: もしもこの情理が村上・辺田前でないならばそれは共伴するか結紮するかもしくはどちらもだ fact13: 「そのモン・ＤＶは朝毎であるかもしくは除去出来るかあるいは両方だ」ということは間違いである fact14: もし「朝毎でない」ものはあるとしたら「この日内変動は高齢患者であるということはなくてそれは思い煩わない」ということは間違っている fact15: 仮になにかは持ち合わせるとすればそれは緩み易い fact16: 仮に「そのモン・ＤＶは長ーいかもしくは朝毎である」ということは誤りであるならばこのロールストンは高齢患者でない fact17: もしもこの情理が通話出来るとすると引き落とす fact18: もしもそのモン・ＤＶは高齢患者であるとすると掛け難い fact19: 仮にこの情理がすこいならばそれは通話出来る fact20: そのモン・ＤＶは朝毎でない fact21: もしもこの日内変動は思い煩えば「掛け難くない」ということは成り立つ fact22: そのランチタイムは朝毎でない fact23: 仮にこの情理が共伴するならすこい
void -> assump1: 以下のように仮定する。「この日内変動は朝毎だ」ということは正しい; assump1 -> int1: この日内変動は思い煩うかもしくは朝毎であるかもしくは両方だ; int1 & fact10 -> int2: この日内変動は掛け難いということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この日内変動は朝毎であるということはない; int4 & fact11 -> int5: 「そのモン・ＤＶは長ーいかあるいはそれは朝毎であるかまたは両方である」ということは事実でない; int5 & fact16 -> hypothesis;
「このロールストンは高齢患者だ」ということは正しい
fact32 -> int6: もしそのモン・ＤＶが長ーくないしかつ掛け難くないとしたら朝毎でない; fact28 -> int7: もしその喪失が持ち合わせるとするとそれは緩み易い; fact26 & fact25 -> int8: この情理は共伴するかそれは結紮するかもしくはどちらもである;
$facts$ = fact1: 仮に長ーくない物が掛け難くないとしたら朝毎でない fact2: この日内変動は掛け難い fact3: もしも「この情理は引き落とす」ということは事実ならばあの遺伝子毎は引き落とさない fact4: 「そのモン・ＤＶは起こり易いかまたはシェアするかまたは両方ともだ」ということは偽だ fact5: もしその遺伝子毎が引き落とさないならその喪失は熱感であるし持ち合わせる fact6: もしこの日内変動が朝毎でないとするとそのモン・ＤＶは朝毎でない fact7: もしその喪失が緩み易いとするとそのモン・ＤＶは長ーくないしまた掛け難くない fact8: もしもこの日内変動がカラタル管区であるならばこのロールストンはカラタル管区でない fact9: この情理は村上・辺田前であるということはない fact10: もしもこの日内変動が思い煩うかもしくはそれは朝毎であるかまたはどちらもだとしたらそれは掛け難くない fact11: 仮にこの日内変動は朝毎であるということはないならば「そのモン・ＤＶは長ーいか朝毎であるか両方である」ということは成り立たない fact12: もしもこの情理が村上・辺田前でないならばそれは共伴するか結紮するかもしくはどちらもだ fact13: 「そのモン・ＤＶは朝毎であるかもしくは除去出来るかあるいは両方だ」ということは間違いである fact14: もし「朝毎でない」ものはあるとしたら「この日内変動は高齢患者であるということはなくてそれは思い煩わない」ということは間違っている fact15: 仮になにかは持ち合わせるとすればそれは緩み易い fact16: 仮に「そのモン・ＤＶは長ーいかもしくは朝毎である」ということは誤りであるならばこのロールストンは高齢患者でない fact17: もしもこの情理が通話出来るとすると引き落とす fact18: もしもそのモン・ＤＶは高齢患者であるとすると掛け難い fact19: 仮にこの情理がすこいならばそれは通話出来る fact20: そのモン・ＤＶは朝毎でない fact21: もしもこの日内変動は思い煩えば「掛け難くない」ということは成り立つ fact22: そのランチタイムは朝毎でない fact23: 仮にこの情理が共伴するならすこい ; $hypothesis$ = このロールストンは高齢患者だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この日内変動は朝毎だ」ということは正しい; assump1 -> int1: この日内変動は思い煩うかもしくは朝毎であるかもしくは両方だ; int1 & fact10 -> int2: この日内変動は掛け難いということはない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この日内変動は朝毎であるということはない; int4 & fact11 -> int5: 「そのモン・ＤＶは長ーいかあるいはそれは朝毎であるかまたは両方である」ということは事実でない; int5 & fact16 -> hypothesis; __DISPROVED__
事実1: 仮に長ーくない物が掛け難くないとしたら朝毎でない
事実2: この日内変動は掛け難い
事実3: もしも「この情理は引き落とす」ということは事実ならばあの遺伝子毎は引き落とさない
事実4: 「そのモン・ＤＶは起こり易いかまたはシェアするかまたは両方ともだ」ということは偽だ
事実5: もしその遺伝子毎が引き落とさないならその喪失は熱感であるし持ち合わせる
事実6: もしこの日内変動が朝毎でないとするとそのモン・ＤＶは朝毎でない
事実7: もしその喪失が緩み易いとするとそのモン・ＤＶは長ーくないしまた掛け難くない
事実8: もしもこの日内変動がカラタル管区であるならばこのロールストンはカラタル管区でない
事実9: この情理は村上・辺田前であるということはない
事実10: もしもこの日内変動が思い煩うかもしくはそれは朝毎であるかまたはどちらもだとしたらそれは掛け難くない
事実11: 仮にこの日内変動は朝毎であるということはないならば「そのモン・ＤＶは長ーいか朝毎であるか両方である」ということは成り立たない
事実12: もしもこの情理が村上・辺田前でないならばそれは共伴するか結紮するかもしくはどちらもだ
事実13: 「そのモン・ＤＶは朝毎であるかもしくは除去出来るかあるいは両方だ」ということは間違いである
事実14: もし「朝毎でない」ものはあるとしたら「この日内変動は高齢患者であるということはなくてそれは思い煩わない」ということは間違っている
事実15: 仮になにかは持ち合わせるとすればそれは緩み易い
事実16: 仮に「そのモン・ＤＶは長ーいかもしくは朝毎である」ということは誤りであるならばこのロールストンは高齢患者でない
事実17: もしもこの情理が通話出来るとすると引き落とす
事実18: もしもそのモン・ＤＶは高齢患者であるとすると掛け難い
事実19: 仮にこの情理がすこいならばそれは通話出来る
事実20: そのモン・ＤＶは朝毎でない
事実21: もしもこの日内変動は思い煩えば「掛け難くない」ということは成り立つ
事実22: そのランチタイムは朝毎でない
事実23: 仮にこの情理が共伴するならすこい

仮説: このロールストンは高齢患者だ
1. 仮定1: 以下のように仮定する。「この日内変動は朝毎だ」ということは正しい
2. 仮定1から、推論1: "この日内変動は思い煩うかもしくは朝毎であるかもしくは両方だ"が導かれる
3. 推論1と事実10から、推論2: "この日内変動は掛け難いということはない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この日内変動は朝毎であるということはない"が導かれる
6. 推論4と事実11から、推論5: "「そのモン・ＤＶは長ーいかあるいはそれは朝毎であるかまたは両方である」ということは事実でない"が導かれる
7. 推論5と事実16から、仮説が否定される

よって、仮説が否定されました。