仮にあの黄緑が調査項目でないならばこの後漢代はまだるっこしくない
fact1: もし「この後漢代は一万二千人でないかあるいはそれは調査項目でないかまたは両方ともである」ということは間違っているとしたらあのアンギナは調査項目でない fact2: あの黄緑は産卵場なら「この後漢代は一万二千人でないかまたは調査項目でないかもしくはどちらもである」ということは成り立たない fact3: この後漢代は一万二千人である fact4: もし仮に「その産学連携は巻きするということはないかもしくは感じ難くないかどちらもだ」ということは成り立つということはないとしたらあの黄緑は巻きしない fact5: この後漢代は調査項目でしかもまだるっこしい fact6: もし仮に何らかのものはスクリプトエディタならば「それは信任しないし一人客でない」ということは成り立たない fact7: この後漢代は産卵場でないとしたら「あの黄緑はまだるっこしくない」ということは確かだ fact8: もし仮になんらかのものは売買取り引きでないとすると「可笑ししそれは上り易くない」ということは成り立たない fact9: 仮に「そのポストバスは可笑しがしかし上り易いということはない」ということは誤っていればスクリプトエディタだ fact10: 仮にその助っ人は断り難いとすると「その産学連携は巻きするということはないかまたは感じ難くないかあるいは両方だ」ということは嘘だ fact11: 仮にあの条例・規則が売買取り引きでない一方で手際良いならばそのポストバスは売買取り引きでない fact12: もし「産卵場であるしそれにまだるっこしい」物があるとするとあの黄緑は調査項目である fact13: 「何かは信任しないし更に一人客でない」ということは間違っていれば染影する fact14: なにかは一万二千人であるししかもまだるっこしい fact15: この後漢代が産卵場だしおまけにそれは一万二千人だ fact16: 仮になにかは巻きしないならそれは産卵場でその上それはまだるっこしい fact17: もしもそのポストバスが染影するとするとその助っ人は断り難い
fact15 -> int1: この後漢代は産卵場だ; void -> assump2: 以下のように仮定する。「この後漢代はまだるっこしい」ということは正しい; int1 & assump2 -> int2: この後漢代は産卵場であるしまたまだるっこしい; int2 -> int3: まだるっこしい産卵場はある; int3 & fact12 -> int4: あの黄緑は調査項目だ; void -> assump1: 以下のように仮定する。あの黄緑は調査項目だということはない; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: この後漢代はまだるっこしくない; [assump1] & int6 -> hypothesis;
あのアンギナは調査項目でない
fact19 -> int7: あの黄緑が巻きするということはないとすれば産卵場であるしさらにまだるっこしい; fact22 -> int8: もしも「そのポストバスは信任するということはなくておまけに一人客でない」ということは偽であるとしたらそれは染影する; fact27 -> int9: 仮にそのポストバスはスクリプトエディタならば「それは信任しなくてまた一人客でない」ということは誤りだ; fact28 -> int10: もしそのポストバスは売買取り引きでないとしたら「可笑ししそれにそれは上り易くない」ということは誤っている;
$facts$ = fact1: もし「この後漢代は一万二千人でないかあるいはそれは調査項目でないかまたは両方ともである」ということは間違っているとしたらあのアンギナは調査項目でない fact2: あの黄緑は産卵場なら「この後漢代は一万二千人でないかまたは調査項目でないかもしくはどちらもである」ということは成り立たない fact3: この後漢代は一万二千人である fact4: もし仮に「その産学連携は巻きするということはないかもしくは感じ難くないかどちらもだ」ということは成り立つということはないとしたらあの黄緑は巻きしない fact5: この後漢代は調査項目でしかもまだるっこしい fact6: もし仮に何らかのものはスクリプトエディタならば「それは信任しないし一人客でない」ということは成り立たない fact7: この後漢代は産卵場でないとしたら「あの黄緑はまだるっこしくない」ということは確かだ fact8: もし仮になんらかのものは売買取り引きでないとすると「可笑ししそれは上り易くない」ということは成り立たない fact9: 仮に「そのポストバスは可笑しがしかし上り易いということはない」ということは誤っていればスクリプトエディタだ fact10: 仮にその助っ人は断り難いとすると「その産学連携は巻きするということはないかまたは感じ難くないかあるいは両方だ」ということは嘘だ fact11: 仮にあの条例・規則が売買取り引きでない一方で手際良いならばそのポストバスは売買取り引きでない fact12: もし「産卵場であるしそれにまだるっこしい」物があるとするとあの黄緑は調査項目である fact13: 「何かは信任しないし更に一人客でない」ということは間違っていれば染影する fact14: なにかは一万二千人であるししかもまだるっこしい fact15: この後漢代が産卵場だしおまけにそれは一万二千人だ fact16: 仮になにかは巻きしないならそれは産卵場でその上それはまだるっこしい fact17: もしもそのポストバスが染影するとするとその助っ人は断り難い ; $hypothesis$ = 仮にあの黄緑が調査項目でないならばこの後漢代はまだるっこしくない ; $proof$ = 
fact15 -> int1: この後漢代は産卵場だ; void -> assump2: 以下のように仮定する。「この後漢代はまだるっこしい」ということは正しい; int1 & assump2 -> int2: この後漢代は産卵場であるしまたまだるっこしい; int2 -> int3: まだるっこしい産卵場はある; int3 & fact12 -> int4: あの黄緑は調査項目だ; void -> assump1: 以下のように仮定する。あの黄緑は調査項目だということはない; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: この後漢代はまだるっこしくない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし「この後漢代は一万二千人でないかあるいはそれは調査項目でないかまたは両方ともである」ということは間違っているとしたらあのアンギナは調査項目でない
事実2: あの黄緑は産卵場なら「この後漢代は一万二千人でないかまたは調査項目でないかもしくはどちらもである」ということは成り立たない
事実3: この後漢代は一万二千人である
事実4: もし仮に「その産学連携は巻きするということはないかもしくは感じ難くないかどちらもだ」ということは成り立つということはないとしたらあの黄緑は巻きしない
事実5: この後漢代は調査項目でしかもまだるっこしい
事実6: もし仮に何らかのものはスクリプトエディタならば「それは信任しないし一人客でない」ということは成り立たない
事実7: この後漢代は産卵場でないとしたら「あの黄緑はまだるっこしくない」ということは確かだ
事実8: もし仮になんらかのものは売買取り引きでないとすると「可笑ししそれは上り易くない」ということは成り立たない
事実9: 仮に「そのポストバスは可笑しがしかし上り易いということはない」ということは誤っていればスクリプトエディタだ
事実10: 仮にその助っ人は断り難いとすると「その産学連携は巻きするということはないかまたは感じ難くないかあるいは両方だ」ということは嘘だ
事実11: 仮にあの条例・規則が売買取り引きでない一方で手際良いならばそのポストバスは売買取り引きでない
事実12: もし「産卵場であるしそれにまだるっこしい」物があるとするとあの黄緑は調査項目である
事実13: 「何かは信任しないし更に一人客でない」ということは間違っていれば染影する
事実14: なにかは一万二千人であるししかもまだるっこしい
事実15: この後漢代が産卵場だしおまけにそれは一万二千人だ
事実16: 仮になにかは巻きしないならそれは産卵場でその上それはまだるっこしい
事実17: もしもそのポストバスが染影するとするとその助っ人は断り難い

仮説: 仮にあの黄緑が調査項目でないならばこの後漢代はまだるっこしくない
1. 事実15から、推論1: "この後漢代は産卵場だ"が導かれる
2. 仮定2: 以下のように仮定する。「この後漢代はまだるっこしい」ということは正しい
3. 推論1と仮定2から、推論2: "この後漢代は産卵場であるしまたまだるっこしい"が導かれる
4. 推論2から、推論3: "まだるっこしい産卵場はある"が導かれる
5. 推論3と事実12から、推論4: "あの黄緑は調査項目だ"が導かれる
6. 仮定1: 以下のように仮定する。あの黄緑は調査項目だということはない
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "この後漢代はまだるっこしくない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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