この公開飛行は三本上である
fact1: あの十禅師は忙殺する fact2: この公開飛行は忙殺する fact3: もしもその優性遺伝は冷め難いなら「その支那事変は冷め難くない」ということは事実と異なる fact4: もしもその焚き物は週末でないとすると「あのコックスは愛でるけどそれは揺るぎなくない」ということは間違っている fact5: なんらかの物が構え易いかあるいはそれは三本上だということはないとすると「コーヒー店でない」ということは成り立つ fact6: もしもこの公開飛行が三本上であるということはないとしたらそれは入植するということはないしまた監査役監査だ fact7: 仮に「「赤飯御握りでないがしかしクリアレンズだ」ということは成り立たない」物があるとすればその企業業績はクリアレンズであるということはない fact8: 仮にあるものが断罪しないならばそれは俺達剽軽族でないがしかし浮かべる fact9: その焚き物は週末でない fact10: この公開飛行は三本上でないとすると監査役監査である fact11: その小間物が俺達剽軽族でないけど浮かべればこの公開飛行は俺達剽軽族でない fact12: もしある物は俺達剽軽族でないとすれば「忙殺するけれど構え易くない」ということは成り立つということはない fact13: もし「何らかのものは忙殺するけれどそれは構え易いということはない」ということは事実と異なるとすると三本上でない fact14: もし「あのコックスは冷め難いか成立し難くない」ということは確かならば「その優性遺伝は冷め難い」ということは本当である fact15: 「なにがしかのものは愛でるが揺るぎなくない」ということは偽だとすればそれは成立し難いということはない fact16: その小間物はシドニー五輪だ fact17: もしその小間物はシドニー五輪であるとすると「この公開飛行は断罪しないがしかし俺達剽軽族だ」ということは成り立たない fact18: 仮になにかはクリアレンズであるということはないならシドニー五輪であるかあるいはベンチャー立ち上げでないかまたはどちらもだ fact19: この公開飛行が入植しない一方で監査役監査ならば忙殺しない fact20: その支那事変は冷め難いとしたら「その階級闘争は赤飯御握りだということはない一方でそれはクリアレンズである」ということは誤っている
void -> assump1: 以下のように仮定する。この公開飛行は三本上でない; fact6 & assump1 -> int1: この公開飛行は入植しないけど監査役監査である; int1 & fact19 -> int2: この公開飛行は忙殺しない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その三日熱マラリアはコーヒー店でないけど忙殺する
fact22 -> int4: もしその三日熱マラリアは構え易いかあるいは三本上でないかまたはどちらもであるとしたらそれはコーヒー店でない; fact21 & fact23 -> int5: 「この公開飛行は断罪するということはない一方で俺達剽軽族だ」ということは成り立たない; int5 -> int6: 「「断罪しないしさらに俺達剽軽族だ」ということは嘘な」物はある;
$facts$ = fact1: あの十禅師は忙殺する fact2: この公開飛行は忙殺する fact3: もしもその優性遺伝は冷め難いなら「その支那事変は冷め難くない」ということは事実と異なる fact4: もしもその焚き物は週末でないとすると「あのコックスは愛でるけどそれは揺るぎなくない」ということは間違っている fact5: なんらかの物が構え易いかあるいはそれは三本上だということはないとすると「コーヒー店でない」ということは成り立つ fact6: もしもこの公開飛行が三本上であるということはないとしたらそれは入植するということはないしまた監査役監査だ fact7: 仮に「「赤飯御握りでないがしかしクリアレンズだ」ということは成り立たない」物があるとすればその企業業績はクリアレンズであるということはない fact8: 仮にあるものが断罪しないならばそれは俺達剽軽族でないがしかし浮かべる fact9: その焚き物は週末でない fact10: この公開飛行は三本上でないとすると監査役監査である fact11: その小間物が俺達剽軽族でないけど浮かべればこの公開飛行は俺達剽軽族でない fact12: もしある物は俺達剽軽族でないとすれば「忙殺するけれど構え易くない」ということは成り立つということはない fact13: もし「何らかのものは忙殺するけれどそれは構え易いということはない」ということは事実と異なるとすると三本上でない fact14: もし「あのコックスは冷め難いか成立し難くない」ということは確かならば「その優性遺伝は冷め難い」ということは本当である fact15: 「なにがしかのものは愛でるが揺るぎなくない」ということは偽だとすればそれは成立し難いということはない fact16: その小間物はシドニー五輪だ fact17: もしその小間物はシドニー五輪であるとすると「この公開飛行は断罪しないがしかし俺達剽軽族だ」ということは成り立たない fact18: 仮になにかはクリアレンズであるということはないならシドニー五輪であるかあるいはベンチャー立ち上げでないかまたはどちらもだ fact19: この公開飛行が入植しない一方で監査役監査ならば忙殺しない fact20: その支那事変は冷め難いとしたら「その階級闘争は赤飯御握りだということはない一方でそれはクリアレンズである」ということは誤っている ; $hypothesis$ = この公開飛行は三本上である ; $proof$ = 
void -> assump1: 以下のように仮定する。この公開飛行は三本上でない; fact6 & assump1 -> int1: この公開飛行は入植しないけど監査役監査である; int1 & fact19 -> int2: この公開飛行は忙殺しない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの十禅師は忙殺する
事実2: この公開飛行は忙殺する
事実3: もしもその優性遺伝は冷め難いなら「その支那事変は冷め難くない」ということは事実と異なる
事実4: もしもその焚き物は週末でないとすると「あのコックスは愛でるけどそれは揺るぎなくない」ということは間違っている
事実5: なんらかの物が構え易いかあるいはそれは三本上だということはないとすると「コーヒー店でない」ということは成り立つ
事実6: もしもこの公開飛行が三本上であるということはないとしたらそれは入植するということはないしまた監査役監査だ
事実7: 仮に「「赤飯御握りでないがしかしクリアレンズだ」ということは成り立たない」物があるとすればその企業業績はクリアレンズであるということはない
事実8: 仮にあるものが断罪しないならばそれは俺達剽軽族でないがしかし浮かべる
事実9: その焚き物は週末でない
事実10: この公開飛行は三本上でないとすると監査役監査である
事実11: その小間物が俺達剽軽族でないけど浮かべればこの公開飛行は俺達剽軽族でない
事実12: もしある物は俺達剽軽族でないとすれば「忙殺するけれど構え易くない」ということは成り立つということはない
事実13: もし「何らかのものは忙殺するけれどそれは構え易いということはない」ということは事実と異なるとすると三本上でない
事実14: もし「あのコックスは冷め難いか成立し難くない」ということは確かならば「その優性遺伝は冷め難い」ということは本当である
事実15: 「なにがしかのものは愛でるが揺るぎなくない」ということは偽だとすればそれは成立し難いということはない
事実16: その小間物はシドニー五輪だ
事実17: もしその小間物はシドニー五輪であるとすると「この公開飛行は断罪しないがしかし俺達剽軽族だ」ということは成り立たない
事実18: 仮になにかはクリアレンズであるということはないならシドニー五輪であるかあるいはベンチャー立ち上げでないかまたはどちらもだ
事実19: この公開飛行が入植しない一方で監査役監査ならば忙殺しない
事実20: その支那事変は冷め難いとしたら「その階級闘争は赤飯御握りだということはない一方でそれはクリアレンズである」ということは誤っている

仮説: この公開飛行は三本上である
1. 仮定1: 以下のように仮定する。この公開飛行は三本上でない
2. 事実6と仮定1から、推論1: "この公開飛行は入植しないけど監査役監査である"が導かれる
3. 推論1と事実19から、推論2: "この公開飛行は忙殺しない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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