あの返上は真白くない
fact1: もしも「なにかは着始めるということはないし共感出来るということはない」ということは成り立つということはないとしたらそれは真白くない fact2: 仮になにがしかの物が没頭出来なくて加えて雌牛であるということはないならばあの選手生命は共感出来ない fact3: もしこの伴侶が五人以上だとしたらあの返上は真白い fact4: もし仮にその鉱夫が苦しいとしたらこの伴侶は白っぽい fact5: ある物は没頭出来ないけど雌牛である fact6: なんらかのものは没頭出来るがしかし雌牛だということはない fact7: その生姜は着始めない fact8: この伴侶が白っぽいならそれは雌牛である fact9: もしあの選手生命は共感出来ないとすると「その刊行予定は長ったらしくない」ということは成り立つ fact10: もし仮にその刊行予定が長ったらしくないならばあの鉱夫は長ったらしいかまたは苦しい fact11: 仮にその鉱夫が苦しくないとするとその御殻は没頭出来ないしまたそれは長ったらしくない fact12: もし仮にその鉱夫が長ったらしいならばあの伴侶は白っぽい fact13: 仮にその生姜が着始めないならばその御殻は没頭出来ないし加えて雌牛でない fact14: 「共感出来るししかも着始めない」ものはある fact15: もしその刊行予定が共感出来ればあの選手生命は長ったらしい fact16: 「雌牛でない」ものはある fact17: 「没頭出来ない」ものはある fact18: その御殻は没頭出来ない fact19: もしもその生姜が着始めないとしたらその御殻は没頭出来ない fact20: 「その御殻は白っぽい」ということは事実である fact21: 白っぽいものは五人以上である fact22: この他社は着始めない
fact13 & fact7 -> int1: その御殻は没頭出来なくて更に雌牛であるということはない; int1 -> int2: 「没頭出来ないし雌牛であるということはない」ものはある; int2 & fact2 -> int3: あの選手生命は共感出来るということはない; int3 & fact9 -> int4: その刊行予定は長ったらしくない; int4 & fact10 -> int5: その鉱夫は長ったらしいか苦しいかまたは両方である; int5 & fact12 & fact4 -> int6: この伴侶は白っぽい; fact21 -> int7: もしも「この伴侶は白っぽい」ということは成り立つとすればそれは五人以上である; int6 & int7 -> int8: 「この伴侶は五人以上だ」ということは真実である; int8 & fact3 -> hypothesis;
あの返上は真白いということはない
fact23 -> 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$ = 
fact13 & fact7 -> int1: その御殻は没頭出来なくて更に雌牛であるということはない; int1 -> int2: 「没頭出来ないし雌牛であるということはない」ものはある; int2 & fact2 -> int3: あの選手生命は共感出来るということはない; int3 & fact9 -> int4: その刊行予定は長ったらしくない; int4 & fact10 -> int5: その鉱夫は長ったらしいか苦しいかまたは両方である; int5 & fact12 & fact4 -> int6: この伴侶は白っぽい; fact21 -> int7: もしも「この伴侶は白っぽい」ということは成り立つとすればそれは五人以上である; int6 & int7 -> int8: 「この伴侶は五人以上だ」ということは真実である; int8 & fact3 -> 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. 事実13と事実7から、推論1: "その御殻は没頭出来なくて更に雌牛であるということはない"が導かれる
2. 推論1から、推論2: "「没頭出来ないし雌牛であるということはない」ものはある"が導かれる
3. 推論2と事実2から、推論3: "あの選手生命は共感出来るということはない"が導かれる
4. 推論3と事実9から、推論4: "その刊行予定は長ったらしくない"が導かれる
5. 推論4と事実10から、推論5: "その鉱夫は長ったらしいか苦しいかまたは両方である"が導かれる
6. 推論5と事実12と事実4から、推論6: "この伴侶は白っぽい"が導かれる
7. 事実21から、推論7: "もしも「この伴侶は白っぽい」ということは成り立つとすればそれは五人以上である"が導かれる
8. 推論6と推論7から、推論8: "「この伴侶は五人以上だ」ということは真実である"が導かれる
9. 推論8と事実3から、仮説が否定される

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