その排卵日は板前でない
fact1: もしもあのアツシが十八人であるとするとそのボックス・セットは十八人である fact2: 尊し物は三連覇でないけど中央法規出版である fact3: もし悪戯っぽいものが三連覇ならそれは中央法規出版でない fact4: もし「その見本市は五裂するしおまけにそれは甚だし」ということは嘘であるならそれは五裂しない fact5: 何らかの物が三連覇でないけどそれは中央法規出版であるなら十八人だ fact6: 「その見本市は五裂するししかも甚だし」ということは嘘だ fact7: なんらかの物は存置しないとすれば「それは甚だしないしさらに絶対化しない」ということは誤りである fact8: そのボックス・セットが中央法規出版でないとしたらあのアツシは尊しない fact9: この資産運用が五裂するならその排卵日は五裂する fact10: そのボックス・セットは十八人だ fact11: そのボックス・セットは五裂する fact12: そのボックス・セットは十八人だとすれば「このＬサイズセダンは悪戯っぽい」ということは確かだ fact13: その見本市は五裂しないとすると「三連覇でそれにそれは尊しない」ということは誤りだ fact14: そのボックス・セットは悪戯っぽいしおまけに十八人である fact15: その鶏挽き肉は五裂する fact16: もし仮にあのアツシが尊しないとするとその排卵日は板前だ fact17: もし仮にその排卵日が五裂するとすればあのアツシは五裂しない fact18: 仮に「この資産運用は十八人でないかあるいは中央法規出版であるかもしくは両方ともである」ということは確かだということはないなら「あのアツシは十八人だ」ということは確かである fact19: もし「この資産運用は甚だしないしさらに絶対化しない」ということは成り立たないとすると五裂する fact20: もしも「そのボックス・セットは悪戯っぽい一方で板前でない」ということは偽であるとすればその排卵日は板前でない fact21: もしもあのアツシが五裂しないならばそのボックス・セットは尊ししおまけに板前である fact22: もしそのボックス・セットは五裂するとすれば「それは三連覇である」ということは事実と異ならない
fact14 -> int1: そのボックス・セットは悪戯っぽい; fact22 & fact11 -> int2: そのボックス・セットは三連覇である; int1 & int2 -> int3: そのボックス・セットは悪戯っぽくて三連覇だ; fact3 -> int4: もし仮にそのボックス・セットは悪戯っぽいし加えて三連覇であるならそれは中央法規出版だということはない; int3 & int4 -> int5: そのボックス・セットは中央法規出版でない; int5 & fact8 -> int6: あのアツシは尊しない; int6 & fact16 -> hypothesis;
このＬサイズセダンは悪戯っぽい
fact27 -> int7: もしそのボックス・セットは三連覇でないけど中央法規出版であるとすれば「それは十八人である」ということは真実である; fact26 -> int8: そのボックス・セットが尊しとすれば三連覇でなくてその上中央法規出版だ; fact25 -> 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$ = 
fact14 -> int1: そのボックス・セットは悪戯っぽい; fact22 & fact11 -> int2: そのボックス・セットは三連覇である; int1 & int2 -> int3: そのボックス・セットは悪戯っぽくて三連覇だ; fact3 -> int4: もし仮にそのボックス・セットは悪戯っぽいし加えて三連覇であるならそれは中央法規出版だということはない; int3 & int4 -> int5: そのボックス・セットは中央法規出版でない; int5 & fact8 -> int6: あのアツシは尊しない; int6 & 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: もしそのボックス・セットは五裂するとすれば「それは三連覇である」ということは事実と異ならない

仮説: その排卵日は板前でない
1. 事実14から、推論1: "そのボックス・セットは悪戯っぽい"が導かれる
2. 事実22と事実11から、推論2: "そのボックス・セットは三連覇である"が導かれる
3. 推論1と推論2から、推論3: "そのボックス・セットは悪戯っぽくて三連覇だ"が導かれる
4. 事実3から、推論4: "もし仮にそのボックス・セットは悪戯っぽいし加えて三連覇であるならそれは中央法規出版だということはない"が導かれる
5. 推論3と推論4から、推論5: "そのボックス・セットは中央法規出版でない"が導かれる
6. 推論5と事実8から、推論6: "あのアツシは尊しない"が導かれる
7. 推論6と事実16から、仮説が否定される

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