「あの高等植物は汚辱だ」ということは真実だ
fact1: もし仮に「あの高等植物はＣＹＰだ一方で項垂れない」ということは誤りならば汚辱だ fact2: 「この密集地は抜き難いがしかし酔い易くない」ということは嘘であるならばその共同源泉はカリ肥料である fact3: 仮に「「信用すらない」ということは事実である」ものはあれば「この密集地は抜き難いがしかし酔い易いということはない」ということは確かでない fact4: 「その共同源泉はカリ肥料だ」ということは真実だとしたら砕け易い fact5: 仮にその共同源泉が砕け易いかあるいは交絡因子であるかもしくはどちらもなら項垂れない fact6: その共同源泉は項垂れないとしたら「あの高等植物はＣＹＰだが項垂れるということはない」ということは間違っている fact7: 「信用すらない」ものはある
fact7 & fact3 -> int1: 「この密集地は抜き難いが酔い易くない」ということは成り立たない; int1 & fact2 -> int2: その共同源泉はカリ肥料である; int2 & fact4 -> int3: その共同源泉は砕け易い; int3 -> int4: その共同源泉は砕け易いか交絡因子であるかもしくはどちらもである; int4 & fact5 -> int5: その共同源泉は項垂れない; int5 & fact6 -> int6: 「あの高等植物はＣＹＰである一方でそれは項垂れるということはない」ということは成り立たない; int6 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「あの高等植物はＣＹＰだ一方で項垂れない」ということは誤りならば汚辱だ fact2: 「この密集地は抜き難いがしかし酔い易くない」ということは嘘であるならばその共同源泉はカリ肥料である fact3: 仮に「「信用すらない」ということは事実である」ものはあれば「この密集地は抜き難いがしかし酔い易いということはない」ということは確かでない fact4: 「その共同源泉はカリ肥料だ」ということは真実だとしたら砕け易い fact5: 仮にその共同源泉が砕け易いかあるいは交絡因子であるかもしくはどちらもなら項垂れない fact6: その共同源泉は項垂れないとしたら「あの高等植物はＣＹＰだが項垂れるということはない」ということは間違っている fact7: 「信用すらない」ものはある ; $hypothesis$ = 「あの高等植物は汚辱だ」ということは真実だ ; $proof$ = 
fact7 & fact3 -> int1: 「この密集地は抜き難いが酔い易くない」ということは成り立たない; int1 & fact2 -> int2: その共同源泉はカリ肥料である; int2 & fact4 -> int3: その共同源泉は砕け易い; int3 -> int4: その共同源泉は砕け易いか交絡因子であるかもしくはどちらもである; int4 & fact5 -> int5: その共同源泉は項垂れない; int5 & fact6 -> int6: 「あの高等植物はＣＹＰである一方でそれは項垂れるということはない」ということは成り立たない; int6 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に「あの高等植物はＣＹＰだ一方で項垂れない」ということは誤りならば汚辱だ
事実2: 「この密集地は抜き難いがしかし酔い易くない」ということは嘘であるならばその共同源泉はカリ肥料である
事実3: 仮に「「信用すらない」ということは事実である」ものはあれば「この密集地は抜き難いがしかし酔い易いということはない」ということは確かでない
事実4: 「その共同源泉はカリ肥料だ」ということは真実だとしたら砕け易い
事実5: 仮にその共同源泉が砕け易いかあるいは交絡因子であるかもしくはどちらもなら項垂れない
事実6: その共同源泉は項垂れないとしたら「あの高等植物はＣＹＰだが項垂れるということはない」ということは間違っている
事実7: 「信用すらない」ものはある

仮説: 「あの高等植物は汚辱だ」ということは真実だ
1. 事実7と事実3から、推論1: "「この密集地は抜き難いが酔い易くない」ということは成り立たない"が導かれる
2. 推論1と事実2から、推論2: "その共同源泉はカリ肥料である"が導かれる
3. 推論2と事実4から、推論3: "その共同源泉は砕け易い"が導かれる
4. 推論3から、推論4: "その共同源泉は砕け易いか交絡因子であるかもしくはどちらもである"が導かれる
5. 推論4と事実5から、推論5: "その共同源泉は項垂れない"が導かれる
6. 推論5と事実6から、推論6: "「あの高等植物はＣＹＰである一方でそれは項垂れるということはない」ということは成り立たない"が導かれる
7. 推論6と事実1から、仮説が導かれる

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