「「この養護学級は立ち向かえるということはないけどそれは公費負担医療だ」ということは成り立つ」ということは間違っている
fact1: あの自己投資は取り扱い易くない fact2: もしも「その沢ちゃんは利水だ」ということは正しいとしたらこの養護学級は本件競走馬でないし加えてそれは読字・読解成績でない fact3: もしあの模擬試験が御高くないとすればそれは御守りするし更にそれは行動し為さる fact4: 「この養護学級は立ち向かえるしそれは公費負担医療だ」ということは成り立たない fact5: もし「なんらかの物は一斉検挙でないし剥奪しない」ということは正しいならば「それは取り扱い易い」ということは真実である fact6: もし仮にあの模擬試験は御守りするとしたら「あの自己投資は退屈し切るということはない」ということは成り立つ fact7: もしもその沢ちゃんが三都だとすると一斉検挙でない fact8: もし大人っぽくない物が進水しないならばあの模擬試験は御高くない fact9: 「大人っぽいということはなくてしかも進水しない」ものはある fact10: 仮にその沢ちゃんが取り扱い易いとすればあの自己投資は取り扱い易くないけど重々しい fact11: 仮に「その沢ちゃんは一斉検挙だがしかし剥奪するということはない」ということは成り立てば取り扱い易い fact12: 三都は一斉検挙でなくて剥奪しない fact13: 三都は一斉検挙だということはない fact14: 「「提案すしさらに渋い」ということは誤りである」物はある fact15: あの自己投資は立ち向かえるとすると「「この養護学級は立ち向かえない一方で公費負担医療である」ということは間違っている」ということは成り立つ fact16: もしもなんらかのものが一斉検挙であるけれどそれが剥奪しないとすれば取り扱い易い fact17: もし仮に「なにがしかのものは本件競走馬でない」ということは偽だということはないとすると「それは基本的方向でないが重々しい」ということは成り立つ fact18: 「「提案すし渋い」ということは事実と異なる」物があればその沢ちゃんは三都である fact19: もしも何かは御祖父様であるなら百分の三以上である fact20: 「一斉検挙は三都だ」ということは成り立つ fact21: 何かは退屈し切らないとしたらそれは食道気管支瘻であるしかつそれは得易い fact22: 「この養護学級は立ち向かえないけれど剥奪する」ということは偽である fact23: 三都は立ち向かえない一方で公費負担医療である fact24: もし仮になんらかのものが基本的方向だということはないけどそれが重々しいとすると取り扱い易くない fact25: もし仮に何らかのものが重々しいとすれば立ち向かえる fact26: 仮にこの養護学級は剥奪するとしたら「その沢ちゃんは剥奪するし公費負担医療だ」ということは誤りである
fact14 & fact18 -> int1: 「その沢ちゃんは三都である」ということは成り立つ; fact12 -> int2: 仮にその沢ちゃんが三都であるとすればそれは一斉検挙でなくて更にそれは剥奪しない; int1 & int2 -> int3: その沢ちゃんは一斉検挙でないし更に剥奪しない; fact5 -> int4: もしもその沢ちゃんは一斉検挙だということはないし加えて剥奪しないなら「取り扱い易い」ということは事実だ; int3 & int4 -> int5: その沢ちゃんは取り扱い易い; int5 & fact10 -> int6: あの自己投資は取り扱い易くない一方でそれは重々しい; int6 -> int7: あの自己投資は重々しい; fact25 -> int8: 仮にあの自己投資が重々しいとするとそれは立ち向かえる; int7 & int8 -> int9: あの自己投資は立ち向かえる; int9 & fact15 -> hypothesis;
この養護学級は立ち向かえないが公費負担医療だ
fact32 -> int10: 仮にこの養護学級が三都であるなら立ち向かえるということはないし更に公費負担医療である; fact35 -> int11: 仮に「この養護学級は一斉検挙である」ということは成り立てば「それは三都だ」ということは正しい; fact30 -> int12: もし仮にこの養護学級は基本的方向でないけれど重々しいとすればそれは取り扱い易くない; fact36 -> int13: 仮にこの養護学級は本件競走馬であるということはないならば基本的方向でないが重々しい; fact34 -> int14: あの自己投資が退屈し切るということはないとすればそれは食道気管支瘻でしかも得易い; fact33 & fact28 -> int15: あの模擬試験は御高くない; fact27 & int15 -> int16: あの模擬試験は御守りするしそれに行動し為さる; int16 -> int17: あの模擬試験は御守りする; fact31 & int17 -> int18: あの自己投資は退屈し切らない; int14 & int18 -> int19: あの自己投資は食道気管支瘻でしかも得易い; int19 -> int20: あの自己投資は食道気管支瘻だ; int20 -> int21: 「食道気管支瘻な」物はある;
$facts$ = fact1: あの自己投資は取り扱い易くない fact2: もしも「その沢ちゃんは利水だ」ということは正しいとしたらこの養護学級は本件競走馬でないし加えてそれは読字・読解成績でない fact3: もしあの模擬試験が御高くないとすればそれは御守りするし更にそれは行動し為さる fact4: 「この養護学級は立ち向かえるしそれは公費負担医療だ」ということは成り立たない fact5: もし「なんらかの物は一斉検挙でないし剥奪しない」ということは正しいならば「それは取り扱い易い」ということは真実である fact6: もし仮にあの模擬試験は御守りするとしたら「あの自己投資は退屈し切るということはない」ということは成り立つ fact7: もしもその沢ちゃんが三都だとすると一斉検挙でない fact8: もし大人っぽくない物が進水しないならばあの模擬試験は御高くない fact9: 「大人っぽいということはなくてしかも進水しない」ものはある fact10: 仮にその沢ちゃんが取り扱い易いとすればあの自己投資は取り扱い易くないけど重々しい fact11: 仮に「その沢ちゃんは一斉検挙だがしかし剥奪するということはない」ということは成り立てば取り扱い易い fact12: 三都は一斉検挙でなくて剥奪しない fact13: 三都は一斉検挙だということはない fact14: 「「提案すしさらに渋い」ということは誤りである」物はある fact15: あの自己投資は立ち向かえるとすると「「この養護学級は立ち向かえない一方で公費負担医療である」ということは間違っている」ということは成り立つ fact16: もしもなんらかのものが一斉検挙であるけれどそれが剥奪しないとすれば取り扱い易い fact17: もし仮に「なにがしかのものは本件競走馬でない」ということは偽だということはないとすると「それは基本的方向でないが重々しい」ということは成り立つ fact18: 「「提案すし渋い」ということは事実と異なる」物があればその沢ちゃんは三都である fact19: もしも何かは御祖父様であるなら百分の三以上である fact20: 「一斉検挙は三都だ」ということは成り立つ fact21: 何かは退屈し切らないとしたらそれは食道気管支瘻であるしかつそれは得易い fact22: 「この養護学級は立ち向かえないけれど剥奪する」ということは偽である fact23: 三都は立ち向かえない一方で公費負担医療である fact24: もし仮になんらかのものが基本的方向だということはないけどそれが重々しいとすると取り扱い易くない fact25: もし仮に何らかのものが重々しいとすれば立ち向かえる fact26: 仮にこの養護学級は剥奪するとしたら「その沢ちゃんは剥奪するし公費負担医療だ」ということは誤りである ; $hypothesis$ = 「「この養護学級は立ち向かえるということはないけどそれは公費負担医療だ」ということは成り立つ」ということは間違っている ; $proof$ = 
fact14 & fact18 -> int1: 「その沢ちゃんは三都である」ということは成り立つ; fact12 -> int2: 仮にその沢ちゃんが三都であるとすればそれは一斉検挙でなくて更にそれは剥奪しない; int1 & int2 -> int3: その沢ちゃんは一斉検挙でないし更に剥奪しない; fact5 -> int4: もしもその沢ちゃんは一斉検挙だということはないし加えて剥奪しないなら「取り扱い易い」ということは事実だ; int3 & int4 -> int5: その沢ちゃんは取り扱い易い; int5 & fact10 -> int6: あの自己投資は取り扱い易くない一方でそれは重々しい; int6 -> int7: あの自己投資は重々しい; fact25 -> int8: 仮にあの自己投資が重々しいとするとそれは立ち向かえる; int7 & int8 -> int9: あの自己投資は立ち向かえる; int9 & fact15 -> hypothesis; __PROVED__
事実1: あの自己投資は取り扱い易くない
事実2: もしも「その沢ちゃんは利水だ」ということは正しいとしたらこの養護学級は本件競走馬でないし加えてそれは読字・読解成績でない
事実3: もしあの模擬試験が御高くないとすればそれは御守りするし更にそれは行動し為さる
事実4: 「この養護学級は立ち向かえるしそれは公費負担医療だ」ということは成り立たない
事実5: もし「なんらかの物は一斉検挙でないし剥奪しない」ということは正しいならば「それは取り扱い易い」ということは真実である
事実6: もし仮にあの模擬試験は御守りするとしたら「あの自己投資は退屈し切るということはない」ということは成り立つ
事実7: もしもその沢ちゃんが三都だとすると一斉検挙でない
事実8: もし大人っぽくない物が進水しないならばあの模擬試験は御高くない
事実9: 「大人っぽいということはなくてしかも進水しない」ものはある
事実10: 仮にその沢ちゃんが取り扱い易いとすればあの自己投資は取り扱い易くないけど重々しい
事実11: 仮に「その沢ちゃんは一斉検挙だがしかし剥奪するということはない」ということは成り立てば取り扱い易い
事実12: 三都は一斉検挙でなくて剥奪しない
事実13: 三都は一斉検挙だということはない
事実14: 「「提案すしさらに渋い」ということは誤りである」物はある
事実15: あの自己投資は立ち向かえるとすると「「この養護学級は立ち向かえない一方で公費負担医療である」ということは間違っている」ということは成り立つ
事実16: もしもなんらかのものが一斉検挙であるけれどそれが剥奪しないとすれば取り扱い易い
事実17: もし仮に「なにがしかのものは本件競走馬でない」ということは偽だということはないとすると「それは基本的方向でないが重々しい」ということは成り立つ
事実18: 「「提案すし渋い」ということは事実と異なる」物があればその沢ちゃんは三都である
事実19: もしも何かは御祖父様であるなら百分の三以上である
事実20: 「一斉検挙は三都だ」ということは成り立つ
事実21: 何かは退屈し切らないとしたらそれは食道気管支瘻であるしかつそれは得易い
事実22: 「この養護学級は立ち向かえないけれど剥奪する」ということは偽である
事実23: 三都は立ち向かえない一方で公費負担医療である
事実24: もし仮になんらかのものが基本的方向だということはないけどそれが重々しいとすると取り扱い易くない
事実25: もし仮に何らかのものが重々しいとすれば立ち向かえる
事実26: 仮にこの養護学級は剥奪するとしたら「その沢ちゃんは剥奪するし公費負担医療だ」ということは誤りである

仮説: 「「この養護学級は立ち向かえるということはないけどそれは公費負担医療だ」ということは成り立つ」ということは間違っている
1. 事実14と事実18から、推論1: "「その沢ちゃんは三都である」ということは成り立つ"が導かれる
2. 事実12から、推論2: "仮にその沢ちゃんが三都であるとすればそれは一斉検挙でなくて更にそれは剥奪しない"が導かれる
3. 推論1と推論2から、推論3: "その沢ちゃんは一斉検挙でないし更に剥奪しない"が導かれる
4. 事実5から、推論4: "もしもその沢ちゃんは一斉検挙だということはないし加えて剥奪しないなら「取り扱い易い」ということは事実だ"が導かれる
5. 推論3と推論4から、推論5: "その沢ちゃんは取り扱い易い"が導かれる
6. 推論5と事実10から、推論6: "あの自己投資は取り扱い易くない一方でそれは重々しい"が導かれる
7. 推論6から、推論7: "あの自己投資は重々しい"が導かれる
8. 事実25から、推論8: "仮にあの自己投資が重々しいとするとそれは立ち向かえる"が導かれる
9. 推論7と推論8から、推論9: "あの自己投資は立ち向かえる"が導かれる
10. 推論9と事実15から、仮説が導かれる

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