「そのＤＺは栽培出来ない」ということは真実である
fact1: 「「「カナル結石症でないかまたは支障無い」ということは成り立つ」ということは偽である」ものはある fact2: あのウェートレスは大喜びする fact3: 「「カナル結石症でないかもしくは支障無いかもしくはどちらもである」ということは間違いな」物があるならあの特性タイプは摘み取る fact4: もしもそのＤＺは栽培出来れば「あの標準里は大喜びしないかもしくはスペシャリストでない」ということは成り立たない fact5: 「「摘み取らないかもしくはスペシャリストでないか両方である」ということは誤っている」物はある fact6: あの全分野は大喜びしない fact7: 何かは大喜びしないかあるいはそれはスペシャリストでないかあるいは両方ともだ fact8: もしもあの本諸子が摘み取るとしたらあの全分野は摘み取る fact9: もし「「大喜びしないかもしくはスペシャリストでないかあるいは両方ともである」ということは成り立つということはない」ものがあるとするとあの全分野は摘み取らない fact10: もし仮に「そのＤＺは摘み取る」ということは真実ならあの本諸子は栽培出来る fact11: もし「あの本諸子は大喜びする」ということは確かだとすれば「あの標準里は摘み取らないかまたはスペシャリストでないかあるいは両方だ」ということは事実と異なる fact12: ある物は大喜びする fact13: 「「スペシャリストでないかあるいは摘み取るか両方だ」ということは偽な」ものはある fact14: 「「カナル結石症であるかまたは支障無いかどちらもだ」ということは成り立つということはない」ものはある fact15: 仮にそのＤＺが摘み取るということはないとするとあのプリンタは大喜びするし更に栽培出来る fact16: あの本諸子は大喜びする fact17: あの全分野は記せる fact18: 仮にあの標準里がカナル結石症でないならそのＤＺは栽培出来るしそれに摘み取る fact19: 仮にあの特性タイプが摘み取るならあの本諸子は摘み取る fact20: もし「あの特性タイプはカナル結石症だ」ということは確かであるならばあの標準里はカナル結石症だ fact21: 「このドールハウスは将来像でないかまたはアップリケしないかどちらもだ」ということは成り立たない fact22: ある物はカナル結石症でないかもしくはそれは支障無い fact23: 「「摘み取る」ということは事実である」物はある
void -> assump1: 以下のように仮定する。そのＤＺは栽培出来る; fact4 & assump1 -> int1: 「あの標準里は大喜びするということはないかまたはそれはスペシャリストでないかどちらもである」ということは事実と異なる; int1 -> int2: 「「大喜びしないかもしくはスペシャリストであるということはないかあるいはどちらもだ」ということは事実と異なる」物はある; int2 & fact9 -> int3: あの全分野は摘み取らない; fact3 & fact1 -> int4: あの特性タイプは摘み取る; fact19 & int4 -> int5: あの本諸子は摘み取る; fact8 & int5 -> int6: あの全分野は摘み取る; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あのプリンタは大喜びする
$facts$ = fact1: 「「「カナル結石症でないかまたは支障無い」ということは成り立つ」ということは偽である」ものはある fact2: あのウェートレスは大喜びする fact3: 「「カナル結石症でないかもしくは支障無いかもしくはどちらもである」ということは間違いな」物があるならあの特性タイプは摘み取る fact4: もしもそのＤＺは栽培出来れば「あの標準里は大喜びしないかもしくはスペシャリストでない」ということは成り立たない fact5: 「「摘み取らないかもしくはスペシャリストでないか両方である」ということは誤っている」物はある fact6: あの全分野は大喜びしない fact7: 何かは大喜びしないかあるいはそれはスペシャリストでないかあるいは両方ともだ fact8: もしもあの本諸子が摘み取るとしたらあの全分野は摘み取る fact9: もし「「大喜びしないかもしくはスペシャリストでないかあるいは両方ともである」ということは成り立つということはない」ものがあるとするとあの全分野は摘み取らない fact10: もし仮に「そのＤＺは摘み取る」ということは真実ならあの本諸子は栽培出来る fact11: もし「あの本諸子は大喜びする」ということは確かだとすれば「あの標準里は摘み取らないかまたはスペシャリストでないかあるいは両方だ」ということは事実と異なる fact12: ある物は大喜びする fact13: 「「スペシャリストでないかあるいは摘み取るか両方だ」ということは偽な」ものはある fact14: 「「カナル結石症であるかまたは支障無いかどちらもだ」ということは成り立つということはない」ものはある fact15: 仮にそのＤＺが摘み取るということはないとするとあのプリンタは大喜びするし更に栽培出来る fact16: あの本諸子は大喜びする fact17: あの全分野は記せる fact18: 仮にあの標準里がカナル結石症でないならそのＤＺは栽培出来るしそれに摘み取る fact19: 仮にあの特性タイプが摘み取るならあの本諸子は摘み取る fact20: もし「あの特性タイプはカナル結石症だ」ということは確かであるならばあの標準里はカナル結石症だ fact21: 「このドールハウスは将来像でないかまたはアップリケしないかどちらもだ」ということは成り立たない fact22: ある物はカナル結石症でないかもしくはそれは支障無い fact23: 「「摘み取る」ということは事実である」物はある ; $hypothesis$ = 「そのＤＺは栽培出来ない」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＤＺは栽培出来る; fact4 & assump1 -> int1: 「あの標準里は大喜びするということはないかまたはそれはスペシャリストでないかどちらもである」ということは事実と異なる; int1 -> int2: 「「大喜びしないかもしくはスペシャリストであるということはないかあるいはどちらもだ」ということは事実と異なる」物はある; int2 & fact9 -> int3: あの全分野は摘み取らない; fact3 & fact1 -> int4: あの特性タイプは摘み取る; fact19 & int4 -> int5: あの本諸子は摘み取る; fact8 & int5 -> int6: あの全分野は摘み取る; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 「「「カナル結石症でないかまたは支障無い」ということは成り立つ」ということは偽である」ものはある
事実2: あのウェートレスは大喜びする
事実3: 「「カナル結石症でないかもしくは支障無いかもしくはどちらもである」ということは間違いな」物があるならあの特性タイプは摘み取る
事実4: もしもそのＤＺは栽培出来れば「あの標準里は大喜びしないかもしくはスペシャリストでない」ということは成り立たない
事実5: 「「摘み取らないかもしくはスペシャリストでないか両方である」ということは誤っている」物はある
事実6: あの全分野は大喜びしない
事実7: 何かは大喜びしないかあるいはそれはスペシャリストでないかあるいは両方ともだ
事実8: もしもあの本諸子が摘み取るとしたらあの全分野は摘み取る
事実9: もし「「大喜びしないかもしくはスペシャリストでないかあるいは両方ともである」ということは成り立つということはない」ものがあるとするとあの全分野は摘み取らない
事実10: もし仮に「そのＤＺは摘み取る」ということは真実ならあの本諸子は栽培出来る
事実11: もし「あの本諸子は大喜びする」ということは確かだとすれば「あの標準里は摘み取らないかまたはスペシャリストでないかあるいは両方だ」ということは事実と異なる
事実12: ある物は大喜びする
事実13: 「「スペシャリストでないかあるいは摘み取るか両方だ」ということは偽な」ものはある
事実14: 「「カナル結石症であるかまたは支障無いかどちらもだ」ということは成り立つということはない」ものはある
事実15: 仮にそのＤＺが摘み取るということはないとするとあのプリンタは大喜びするし更に栽培出来る
事実16: あの本諸子は大喜びする
事実17: あの全分野は記せる
事実18: 仮にあの標準里がカナル結石症でないならそのＤＺは栽培出来るしそれに摘み取る
事実19: 仮にあの特性タイプが摘み取るならあの本諸子は摘み取る
事実20: もし「あの特性タイプはカナル結石症だ」ということは確かであるならばあの標準里はカナル結石症だ
事実21: 「このドールハウスは将来像でないかまたはアップリケしないかどちらもだ」ということは成り立たない
事実22: ある物はカナル結石症でないかもしくはそれは支障無い
事実23: 「「摘み取る」ということは事実である」物はある

仮説: 「そのＤＺは栽培出来ない」ということは真実である
1. 仮定1: 以下のように仮定する。そのＤＺは栽培出来る
2. 事実4と仮定1から、推論1: "「あの標準里は大喜びするということはないかまたはそれはスペシャリストでないかどちらもである」ということは事実と異なる"が導かれる
3. 推論1から、推論2: "「「大喜びしないかもしくはスペシャリストであるということはないかあるいはどちらもだ」ということは事実と異なる」物はある"が導かれる
4. 推論2と事実9から、推論3: "あの全分野は摘み取らない"が導かれる
5. 事実3と事実1から、推論4: "あの特性タイプは摘み取る"が導かれる
6. 事実19と推論4から、推論5: "あの本諸子は摘み取る"が導かれる
7. 事実8と推論5から、推論6: "あの全分野は摘み取る"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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