あの駆け足は御蹴るかまたは木炭でないかもしくは両方だ
fact1: もし仮に「何らかの物は木炭であるが伝統性でない」ということは誤りだとすればそれは寒いということはない fact2: 「その大量殺人は伝統性でなくて寒くない」ということは成り立たない fact3: 「もし「何らかの物は予測し易いが選択的検査対象だということはない」ということは偽だとすれば寒くない」ということは事実だ fact4: もし「その大量殺人は寒いということはないしまた提供しない」ということは偽であるとすればそれは提供する fact5: もし仮にその大量殺人は寒くないが年金共済契約であるとすれば「この紹興酒は訝しい」ということは本当だ fact6: この紹興酒は年金共済契約でないとすると提供しない fact7: あの駆け足は年金共済契約でない fact8: 「その大量殺人は予測し易くておまけに選択的検査対象である」ということは事実と異なる fact9: 「あの駆け足は伸び過ぎるか出現し易くないかあるいはどちらもだ」ということは成り立たない fact10: 仮にこの紹興酒は年金共済契約だとすると「その大量殺人は予測し易い一方でそれは選択的検査対象でない」ということは成り立たない fact11: 「その大量殺人は提供する」ということは成り立たないなら寒くない fact12: もしそのクリスマス・シーズンは電話局でないなら「あの駆け足は頂戴致すが伝統性でない」ということは成り立たない fact13: もしも「とあるものは年金共済契約でないしその上それは御蹴らない」ということは嘘だとすれば御蹴る fact14: もしも「訝しい」ものはあるとすると「その生殖質連続説はこっ酷くないしその上訝しいということはない」ということは成り立たない fact15: 仮にあるものが御蹴らないならばそれは提供するし加えて木炭だ fact16: 「なんらかのものは伝統性でなくておまけに寒いということはない」ということは成り立たないとするとそれは寒い fact17: 「ある物は御蹴らないしそれは木炭でない」ということは成り立たないとしたらそれは木炭である fact18: この紹興酒は提供しないなら「あの駆け足は御蹴るかあるいはそれは木炭でない」ということは偽だ fact19: もし仮にその大量殺人が予測し易いならそれは明け放さない fact20: 寒くない物は年金共済契約であるしさらに御蹴る fact21: 「この紹興酒は予測し易くないしその上年金共済契約でない」ということは成り立たない fact22: もしも「あの駆け足は頂戴致すけどそれは伝統性でない」ということは間違いだとすれば御蹴らない
void -> assump1: 以下のように仮定する。この紹興酒は年金共済契約だ; fact10 & assump1 -> int1: 「その大量殺人は予測し易い一方で選択的検査対象でない」ということは成り立たない; fact3 -> int2: もし仮に「その大量殺人は予測し易いが選択的検査対象であるということはない」ということは嘘であるならば「寒いということはない」ということは成り立つ; int1 & int2 -> int3: その大量殺人は寒くない; fact16 -> int4: もしも「その大量殺人は伝統性でないしそれに寒くない」ということは嘘であるとしたら寒い; int4 & fact2 -> int5: その大量殺人は寒い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この紹興酒は年金共済契約でない; int7 & fact6 -> int8: この紹興酒は提供しない; int8 & fact18 -> hypothesis;
「その生殖質連続説はこっ酷くなくてまた訝しくない」ということは成り立たない
fact27 -> 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: 以下のように仮定する。この紹興酒は年金共済契約だ; fact10 & assump1 -> int1: 「その大量殺人は予測し易い一方で選択的検査対象でない」ということは成り立たない; fact3 -> int2: もし仮に「その大量殺人は予測し易いが選択的検査対象であるということはない」ということは嘘であるならば「寒いということはない」ということは成り立つ; int1 & int2 -> int3: その大量殺人は寒くない; fact16 -> int4: もしも「その大量殺人は伝統性でないしそれに寒くない」ということは嘘であるとしたら寒い; int4 & fact2 -> int5: その大量殺人は寒い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この紹興酒は年金共済契約でない; int7 & fact6 -> int8: この紹興酒は提供しない; int8 & fact18 -> 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. 仮定1: 以下のように仮定する。この紹興酒は年金共済契約だ
2. 事実10と仮定1から、推論1: "「その大量殺人は予測し易い一方で選択的検査対象でない」ということは成り立たない"が導かれる
3. 事実3から、推論2: "もし仮に「その大量殺人は予測し易いが選択的検査対象であるということはない」ということは嘘であるならば「寒いということはない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "その大量殺人は寒くない"が導かれる
5. 事実16から、推論4: "もしも「その大量殺人は伝統性でないしそれに寒くない」ということは嘘であるとしたら寒い"が導かれる
6. 推論4と事実2から、推論5: "その大量殺人は寒い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この紹興酒は年金共済契約でない"が導かれる
9. 推論7と事実6から、推論8: "この紹興酒は提供しない"が導かれる
10. 推論8と事実18から、仮説が否定される

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