「あの一ブロックは荒いということはないが緑茶係数である」ということは間違っている
fact1: もしもこの各期間は不愉快であるということはないならば「あの一ブロックは荒くない一方で緑茶係数である」ということは誤っている fact2: 仮にあの一ブロックが極貧生活でないとしたらこの水車は緑茶係数である fact3: もしこの水車が極貧生活であるということはないならばあの一ブロックは荒いということはないが緑茶係数だ fact4: この各期間は若者期であるということはないし極貧生活でない fact5: 仮にこの各期間は不愉快であるとするとコルヒチンでない fact6: もしも「この各期間は不愉快である」ということは成り立てばそれはコルヒチンでなくてそれに運でない fact7: 「この各期間はコルヒチンでないし加えてそれは運でない」ということは正しいとするとそれはガーディアンである fact8: この各期間がガーディアンならばこの水車は極貧生活でなくてしかも吹聴しない fact9: この各期間は不愉快である
fact6 & fact9 -> int1: この各期間はコルヒチンでないし加えてそれは運でない; int1 & fact7 -> int2: この各期間はガーディアンである; int2 & fact8 -> int3: この水車は極貧生活でないし加えて吹聴するということはない; int3 -> int4: 「この水車は極貧生活でない」ということは本当である; int4 & fact3 -> hypothesis;
「あの一ブロックは荒くないけど緑茶係数だ」ということは誤りだ
$facts$ = fact1: もしもこの各期間は不愉快であるということはないならば「あの一ブロックは荒くない一方で緑茶係数である」ということは誤っている fact2: 仮にあの一ブロックが極貧生活でないとしたらこの水車は緑茶係数である fact3: もしこの水車が極貧生活であるということはないならばあの一ブロックは荒いということはないが緑茶係数だ fact4: この各期間は若者期であるということはないし極貧生活でない fact5: 仮にこの各期間は不愉快であるとするとコルヒチンでない fact6: もしも「この各期間は不愉快である」ということは成り立てばそれはコルヒチンでなくてそれに運でない fact7: 「この各期間はコルヒチンでないし加えてそれは運でない」ということは正しいとするとそれはガーディアンである fact8: この各期間がガーディアンならばこの水車は極貧生活でなくてしかも吹聴しない fact9: この各期間は不愉快である ; $hypothesis$ = 「あの一ブロックは荒いということはないが緑茶係数である」ということは間違っている ; $proof$ = 
fact6 & fact9 -> int1: この各期間はコルヒチンでないし加えてそれは運でない; int1 & fact7 -> int2: この各期間はガーディアンである; int2 & fact8 -> int3: この水車は極貧生活でないし加えて吹聴するということはない; int3 -> int4: 「この水車は極貧生活でない」ということは本当である; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもこの各期間は不愉快であるということはないならば「あの一ブロックは荒くない一方で緑茶係数である」ということは誤っている
事実2: 仮にあの一ブロックが極貧生活でないとしたらこの水車は緑茶係数である
事実3: もしこの水車が極貧生活であるということはないならばあの一ブロックは荒いということはないが緑茶係数だ
事実4: この各期間は若者期であるということはないし極貧生活でない
事実5: 仮にこの各期間は不愉快であるとするとコルヒチンでない
事実6: もしも「この各期間は不愉快である」ということは成り立てばそれはコルヒチンでなくてそれに運でない
事実7: 「この各期間はコルヒチンでないし加えてそれは運でない」ということは正しいとするとそれはガーディアンである
事実8: この各期間がガーディアンならばこの水車は極貧生活でなくてしかも吹聴しない
事実9: この各期間は不愉快である

仮説: 「あの一ブロックは荒いということはないが緑茶係数である」ということは間違っている
1. 事実6と事実9から、推論1: "この各期間はコルヒチンでないし加えてそれは運でない"が導かれる
2. 推論1と事実7から、推論2: "この各期間はガーディアンである"が導かれる
3. 推論2と事実8から、推論3: "この水車は極貧生活でないし加えて吹聴するということはない"が導かれる
4. 推論3から、推論4: "「この水車は極貧生活でない」ということは本当である"が導かれる
5. 推論4と事実3から、仮説が否定される

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