その鉛直断面はマクロレベルである
fact1: あるものはホールドするしそれに植物相であるとするとマクロレベルでない fact2: もしもこのパターン毎がマクロレベルであるとしたらその鉛直断面はマクロレベルでない fact3: 仮にこのパターン毎がホールドするとすればその鉛直断面はマクロレベルだ fact4: 仮に「「あの引用原文は木らしいけどそれは利用し辛くない」ということは正しい」ということは成り立たないとしたらこのパターン毎は利用し辛くない fact5: もしもこのパターン毎が植物相ならばその鉛直断面はマクロレベルだ fact6: その鉛直断面がホールドするとすればこのパターン毎はマクロレベルである fact7: このパターン毎がマクロレベルであるならその鉛直断面は植物相だ fact8: もしもこのパターン毎が利用し辛くないとすればその鉛直断面はホールドするしそれは果実だ fact9: このパターン毎はホールドするかまたは植物相であるかもしくはどちらもだ fact10: その鉛直断面は植物相であるかまたはマクロレベルであるかまたはどちらもである
fact9 & fact3 & fact5 -> hypothesis;
fact9 & fact3 & fact5 -> hypothesis;
その鉛直断面はマクロレベルでない
fact12 -> int1: もし「その鉛直断面はホールドするし植物相だ」ということは成り立つとすればそれはマクロレベルでない;
$facts$ = fact1: あるものはホールドするしそれに植物相であるとするとマクロレベルでない fact2: もしもこのパターン毎がマクロレベルであるとしたらその鉛直断面はマクロレベルでない fact3: 仮にこのパターン毎がホールドするとすればその鉛直断面はマクロレベルだ fact4: 仮に「「あの引用原文は木らしいけどそれは利用し辛くない」ということは正しい」ということは成り立たないとしたらこのパターン毎は利用し辛くない fact5: もしもこのパターン毎が植物相ならばその鉛直断面はマクロレベルだ fact6: その鉛直断面がホールドするとすればこのパターン毎はマクロレベルである fact7: このパターン毎がマクロレベルであるならその鉛直断面は植物相だ fact8: もしもこのパターン毎が利用し辛くないとすればその鉛直断面はホールドするしそれは果実だ fact9: このパターン毎はホールドするかまたは植物相であるかもしくはどちらもだ fact10: その鉛直断面は植物相であるかまたはマクロレベルであるかまたはどちらもである ; $hypothesis$ = その鉛直断面はマクロレベルである ; $proof$ = 
fact9 & fact3 & fact5 -> hypothesis; __PROVED__
事実1: あるものはホールドするしそれに植物相であるとするとマクロレベルでない
事実2: もしもこのパターン毎がマクロレベルであるとしたらその鉛直断面はマクロレベルでない
事実3: 仮にこのパターン毎がホールドするとすればその鉛直断面はマクロレベルだ
事実4: 仮に「「あの引用原文は木らしいけどそれは利用し辛くない」ということは正しい」ということは成り立たないとしたらこのパターン毎は利用し辛くない
事実5: もしもこのパターン毎が植物相ならばその鉛直断面はマクロレベルだ
事実6: その鉛直断面がホールドするとすればこのパターン毎はマクロレベルである
事実7: このパターン毎がマクロレベルであるならその鉛直断面は植物相だ
事実8: もしもこのパターン毎が利用し辛くないとすればその鉛直断面はホールドするしそれは果実だ
事実9: このパターン毎はホールドするかまたは植物相であるかもしくはどちらもだ
事実10: その鉛直断面は植物相であるかまたはマクロレベルであるかまたはどちらもである

仮説: その鉛直断面はマクロレベルである
1. 事実9と事実3と事実5から、仮説が導かれる

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