あの葉蘭は猩々である
fact1: もし「そのコピーレフトは逼迫だ」ということは成り立つとしたらあの葉蘭は猩々でない fact2: そのコピーレフトが老け込むなら逼迫であるかもしくは其れらしくない fact3: その格上が捕らえ易いとすればそのコピーレフトは老け込む fact4: もし仮にその格上が猩々でないし更に捕らえ易くないならあの葉蘭は猩々である fact5: その格上は捕らえ易い fact6: そのコピーレフトが其れらしくないとしたらあの葉蘭は猩々でない
fact3 & fact5 -> int1: そのコピーレフトは老け込む; int1 & fact2 -> int2: そのコピーレフトは逼迫であるかもしくは其れらしくないかどちらもである; int2 & fact1 & fact6 -> hypothesis;
あの葉蘭は猩々だ
$facts$ = fact1: もし「そのコピーレフトは逼迫だ」ということは成り立つとしたらあの葉蘭は猩々でない fact2: そのコピーレフトが老け込むなら逼迫であるかもしくは其れらしくない fact3: その格上が捕らえ易いとすればそのコピーレフトは老け込む fact4: もし仮にその格上が猩々でないし更に捕らえ易くないならあの葉蘭は猩々である fact5: その格上は捕らえ易い fact6: そのコピーレフトが其れらしくないとしたらあの葉蘭は猩々でない ; $hypothesis$ = あの葉蘭は猩々である ; $proof$ = 
fact3 & fact5 -> int1: そのコピーレフトは老け込む; int1 & fact2 -> int2: そのコピーレフトは逼迫であるかもしくは其れらしくないかどちらもである; int2 & fact1 & fact6 -> hypothesis; __DISPROVED__
事実1: もし「そのコピーレフトは逼迫だ」ということは成り立つとしたらあの葉蘭は猩々でない
事実2: そのコピーレフトが老け込むなら逼迫であるかもしくは其れらしくない
事実3: その格上が捕らえ易いとすればそのコピーレフトは老け込む
事実4: もし仮にその格上が猩々でないし更に捕らえ易くないならあの葉蘭は猩々である
事実5: その格上は捕らえ易い
事実6: そのコピーレフトが其れらしくないとしたらあの葉蘭は猩々でない

仮説: あの葉蘭は猩々である
1. 事実3と事実5から、推論1: "そのコピーレフトは老け込む"が導かれる
2. 推論1と事実2から、推論2: "そのコピーレフトは逼迫であるかもしくは其れらしくないかどちらもである"が導かれる
3. 推論2と事実1と事実6から、仮説が否定される

よって、仮説が否定されました。