このぷいぷにょLv.56は催さない
fact1: もし仮にこのものもちゃLv.81が掛かり易いならばこのものもちゃLv.81は倒れ難い fact2: もし仮にそのぷのぷちょLv.17が集め易いとするとこのものもちゃLv.81は掛かり易い fact3: そのぷのぷちょLv.17は集め易い fact4: 仮にこのものもちゃLv.81が倒れ難いとしたらこのぷいぷにょLv.56は催す
fact2 & fact3 -> int1: 「このものもちゃLv.81は掛かり易い」ということは成り立つ; int1 & fact1 -> int2: 「このものもちゃLv.81は倒れ難い」ということは事実だ; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もし仮にこのものもちゃLv.81が掛かり易いならばこのものもちゃLv.81は倒れ難い fact2: もし仮にそのぷのぷちょLv.17が集め易いとするとこのものもちゃLv.81は掛かり易い fact3: そのぷのぷちょLv.17は集め易い fact4: 仮にこのものもちゃLv.81が倒れ難いとしたらこのぷいぷにょLv.56は催す ; $hypothesis$ = このぷいぷにょLv.56は催さない ; $proof$ = 
fact2 & fact3 -> int1: 「このものもちゃLv.81は掛かり易い」ということは成り立つ; int1 & fact1 -> int2: 「このものもちゃLv.81は倒れ難い」ということは事実だ; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__