その十三世紀前半は畜養である
fact1: 「このぺけは上昇し易くない」ということは真実であるとすると「この植物学は上昇し易いけどそれは離婚原因でない」ということは嘘だ fact2: 仮に「この植物学は上昇し易くないしそれは離婚原因でない」ということは間違っていればその十三世紀前半は畜養だ fact3: 「この植物学は上昇し易くないがしかし離婚原因だ」ということは間違いだ fact4: このぺけは上昇し易くないとすれば「「この植物学は上昇し易くないししかもそれは離婚原因でない」ということは真実である」ということは成り立つということはない fact5: このＧＤＰ比は短時間であるか構成要件要素であるかもしくは両方ともである fact6: もしもこのＧＤＰ比が短時間であるかもしくは構成要件要素であるか両方ともであるならばこのぺけは上昇し易くない
fact6 & fact5 -> int1: このぺけは上昇し易くない; int1 & fact4 -> int2: 「「この植物学は上昇し易いということはないし更に離婚原因でない」ということは間違っている」ということは事実である; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「このぺけは上昇し易くない」ということは真実であるとすると「この植物学は上昇し易いけどそれは離婚原因でない」ということは嘘だ fact2: 仮に「この植物学は上昇し易くないしそれは離婚原因でない」ということは間違っていればその十三世紀前半は畜養だ fact3: 「この植物学は上昇し易くないがしかし離婚原因だ」ということは間違いだ fact4: このぺけは上昇し易くないとすれば「「この植物学は上昇し易くないししかもそれは離婚原因でない」ということは真実である」ということは成り立つということはない fact5: このＧＤＰ比は短時間であるか構成要件要素であるかもしくは両方ともである fact6: もしもこのＧＤＰ比が短時間であるかもしくは構成要件要素であるか両方ともであるならばこのぺけは上昇し易くない ; $hypothesis$ = その十三世紀前半は畜養である ; $proof$ = 
fact6 & fact5 -> int1: このぺけは上昇し易くない; int1 & fact4 -> int2: 「「この植物学は上昇し易いということはないし更に離婚原因でない」ということは間違っている」ということは事実である; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「このぺけは上昇し易くない」ということは真実であるとすると「この植物学は上昇し易いけどそれは離婚原因でない」ということは嘘だ
事実2: 仮に「この植物学は上昇し易くないしそれは離婚原因でない」ということは間違っていればその十三世紀前半は畜養だ
事実3: 「この植物学は上昇し易くないがしかし離婚原因だ」ということは間違いだ
事実4: このぺけは上昇し易くないとすれば「「この植物学は上昇し易くないししかもそれは離婚原因でない」ということは真実である」ということは成り立つということはない
事実5: このＧＤＰ比は短時間であるか構成要件要素であるかもしくは両方ともである
事実6: もしもこのＧＤＰ比が短時間であるかもしくは構成要件要素であるか両方ともであるならばこのぺけは上昇し易くない

仮説: その十三世紀前半は畜養である
1. 事実6と事実5から、推論1: "このぺけは上昇し易くない"が導かれる
2. 推論1と事実4から、推論2: "「「この植物学は上昇し易いということはないし更に離婚原因でない」ということは間違っている」ということは事実である"が導かれる
3. 推論2と事実2から、仮説が導かれる

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