この三箇月後は蓄積され易い
fact1: あの原ちゃりがＮＡＤでないしそれが捕らえ易くないならその低下傾向は通帳等でない fact2: 「あのテーブルマットは再計算しなくて珍しかない」ということは事実と異なるとすれば格好悪い fact3: もしも何らかのものは格好悪いとしたら「それはハンカチ運動だがしかし蓄積され易くない」ということは正しくない fact4: あのテーブルマットは再計算するけれど珍しかないとすればそれは営み得る fact5: 「その低下傾向は営み得るがしかし通帳等でない」ということは成り立たない fact6: 「この芝桜は環境基準だ一方で天井打ちでない」ということは間違いであるとすればあの原ちゃりは環境基準でない fact7: もし仮にあのテーブルマットが再計算しないがしかしそれは珍しいなら「営み得る」ということは成り立つ fact8: 「仮にあの養子先が共同設置しないかそれが消灯しないかまたは両方ともであるとしたらあの養子先は共同設置しない」ということは成り立つ fact9: もし仮にあのテーブルマットは再計算しなくてまた珍しかないとすると営み得る fact10: もし仮に「その低下傾向は営み得るけど通帳等でない」ということは本当でないならあのテーブルマットは営み得ない fact11: 仮にとあるものは実施前でなくて更にバント船でないとしたらそれは蔑視しない fact12: 「その低下傾向は営み得るしまたそれは通帳等である」ということは成り立たない fact13: もしなにがしかの物は蔑視するということはないなら「それはＮＡＤでなくてしかも捕らえ易くない」ということは事実だ fact14: 「あのテーブルマットは再計算しないがしかし珍しい」ということは成り立たない fact15: もしあの養子先は共同設置しないとしたら「この芝桜は環境基準だがしかし天井打ちでない」ということは偽だ fact16: 「その低下傾向は社会科学者であるがしかしそれは珍しかない」ということは誤りだ fact17: もしある物は投錨するということはないとしたら「格好悪いが営み得ない」ということは成り立つ fact18: 仮に何らかの物が通帳等だということはないならば営み得るし投錨する fact19: 「あのテーブルマットは再計算するがそれは珍しいということはない」ということは確かでない fact20: もしなんらかの物は環境基準でないとしたら実施前だということはなくてバント船でない fact21: もし仮にあのテーブルマットが格好悪いならこの三箇月後は蓄積され易い fact22: もしあのオリジナルマフラーが捕らえ易いならそれは投錨しないしそれは通帳等でない
void -> assump1: 以下のように仮定する。あのテーブルマットは再計算しないしおまけに珍しかない; fact9 & assump1 -> int1: あのテーブルマットは営み得る; fact5 & fact10 -> int2: あのテーブルマットは営み得ない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのテーブルマットが再計算しないしさらに珍しかない」ということは誤っている; int4 & fact2 -> int5: あのテーブルマットは格好悪い; int5 & fact21 -> hypothesis;
この三箇月後は蓄積され易いということはない
fact23 -> int6: もしもその低下傾向が通帳等だということはないとすればそれは営み得るし投錨する; fact26 -> int7: もし仮にあの原ちゃりが蔑視しないとしたらＮＡＤであるということはないしさらにそれは捕らえ易いということはない; fact25 -> int8: あの原ちゃりは実施前でないしさらにバント船であるということはないとしたらそれは蔑視しない; fact28 -> int9: もしもあの原ちゃりが環境基準でないとすればそれは実施前でなくて更にバント船でない;
$facts$ = fact1: あの原ちゃりがＮＡＤでないしそれが捕らえ易くないならその低下傾向は通帳等でない fact2: 「あのテーブルマットは再計算しなくて珍しかない」ということは事実と異なるとすれば格好悪い fact3: もしも何らかのものは格好悪いとしたら「それはハンカチ運動だがしかし蓄積され易くない」ということは正しくない fact4: あのテーブルマットは再計算するけれど珍しかないとすればそれは営み得る fact5: 「その低下傾向は営み得るがしかし通帳等でない」ということは成り立たない fact6: 「この芝桜は環境基準だ一方で天井打ちでない」ということは間違いであるとすればあの原ちゃりは環境基準でない fact7: もし仮にあのテーブルマットが再計算しないがしかしそれは珍しいなら「営み得る」ということは成り立つ fact8: 「仮にあの養子先が共同設置しないかそれが消灯しないかまたは両方ともであるとしたらあの養子先は共同設置しない」ということは成り立つ fact9: もし仮にあのテーブルマットは再計算しなくてまた珍しかないとすると営み得る fact10: もし仮に「その低下傾向は営み得るけど通帳等でない」ということは本当でないならあのテーブルマットは営み得ない fact11: 仮にとあるものは実施前でなくて更にバント船でないとしたらそれは蔑視しない fact12: 「その低下傾向は営み得るしまたそれは通帳等である」ということは成り立たない fact13: もしなにがしかの物は蔑視するということはないなら「それはＮＡＤでなくてしかも捕らえ易くない」ということは事実だ fact14: 「あのテーブルマットは再計算しないがしかし珍しい」ということは成り立たない fact15: もしあの養子先は共同設置しないとしたら「この芝桜は環境基準だがしかし天井打ちでない」ということは偽だ fact16: 「その低下傾向は社会科学者であるがしかしそれは珍しかない」ということは誤りだ fact17: もしある物は投錨するということはないとしたら「格好悪いが営み得ない」ということは成り立つ fact18: 仮に何らかの物が通帳等だということはないならば営み得るし投錨する fact19: 「あのテーブルマットは再計算するがそれは珍しいということはない」ということは確かでない fact20: もしなんらかの物は環境基準でないとしたら実施前だということはなくてバント船でない fact21: もし仮にあのテーブルマットが格好悪いならこの三箇月後は蓄積され易い fact22: もしあのオリジナルマフラーが捕らえ易いならそれは投錨しないしそれは通帳等でない ; $hypothesis$ = この三箇月後は蓄積され易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのテーブルマットは再計算しないしおまけに珍しかない; fact9 & assump1 -> int1: あのテーブルマットは営み得る; fact5 & fact10 -> int2: あのテーブルマットは営み得ない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのテーブルマットが再計算しないしさらに珍しかない」ということは誤っている; int4 & fact2 -> int5: あのテーブルマットは格好悪い; int5 & fact21 -> hypothesis; __PROVED__
事実1: あの原ちゃりがＮＡＤでないしそれが捕らえ易くないならその低下傾向は通帳等でない
事実2: 「あのテーブルマットは再計算しなくて珍しかない」ということは事実と異なるとすれば格好悪い
事実3: もしも何らかのものは格好悪いとしたら「それはハンカチ運動だがしかし蓄積され易くない」ということは正しくない
事実4: あのテーブルマットは再計算するけれど珍しかないとすればそれは営み得る
事実5: 「その低下傾向は営み得るがしかし通帳等でない」ということは成り立たない
事実6: 「この芝桜は環境基準だ一方で天井打ちでない」ということは間違いであるとすればあの原ちゃりは環境基準でない
事実7: もし仮にあのテーブルマットが再計算しないがしかしそれは珍しいなら「営み得る」ということは成り立つ
事実8: 「仮にあの養子先が共同設置しないかそれが消灯しないかまたは両方ともであるとしたらあの養子先は共同設置しない」ということは成り立つ
事実9: もし仮にあのテーブルマットは再計算しなくてまた珍しかないとすると営み得る
事実10: もし仮に「その低下傾向は営み得るけど通帳等でない」ということは本当でないならあのテーブルマットは営み得ない
事実11: 仮にとあるものは実施前でなくて更にバント船でないとしたらそれは蔑視しない
事実12: 「その低下傾向は営み得るしまたそれは通帳等である」ということは成り立たない
事実13: もしなにがしかの物は蔑視するということはないなら「それはＮＡＤでなくてしかも捕らえ易くない」ということは事実だ
事実14: 「あのテーブルマットは再計算しないがしかし珍しい」ということは成り立たない
事実15: もしあの養子先は共同設置しないとしたら「この芝桜は環境基準だがしかし天井打ちでない」ということは偽だ
事実16: 「その低下傾向は社会科学者であるがしかしそれは珍しかない」ということは誤りだ
事実17: もしある物は投錨するということはないとしたら「格好悪いが営み得ない」ということは成り立つ
事実18: 仮に何らかの物が通帳等だということはないならば営み得るし投錨する
事実19: 「あのテーブルマットは再計算するがそれは珍しいということはない」ということは確かでない
事実20: もしなんらかの物は環境基準でないとしたら実施前だということはなくてバント船でない
事実21: もし仮にあのテーブルマットが格好悪いならこの三箇月後は蓄積され易い
事実22: もしあのオリジナルマフラーが捕らえ易いならそれは投錨しないしそれは通帳等でない

仮説: この三箇月後は蓄積され易い
1. 仮定1: 以下のように仮定する。あのテーブルマットは再計算しないしおまけに珍しかない
2. 事実9と仮定1から、推論1: "あのテーブルマットは営み得る"が導かれる
3. 事実5と事実10から、推論2: "あのテーブルマットは営み得ない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あのテーブルマットが再計算しないしさらに珍しかない」ということは誤っている"が導かれる
6. 推論4と事実2から、推論5: "あのテーブルマットは格好悪い"が導かれる
7. 推論5と事実21から、仮説が導かれる

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