「あのぷいぷにょLv.45は青しししかもそれは取り易い」ということは成り立たない
fact1: あのぷいぷにょLv.45は青し fact2: あのぽちょぽえLv.30は底堅い fact3: あのぷいぷにょLv.45は出し易い fact4: もし仮にあのぷいぷにょLv.45が底堅いならばそれは取り易い fact5: あのぷいぷにょLv.45はだらし無い fact6: あのぷいぷにょLv.45は底堅くて出し易い
fact6 -> int1: あのぷいぷにょLv.45は底堅い; int1 & fact4 -> int2: あのぷいぷにょLv.45は取り易い; int2 & fact1 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: あのぷいぷにょLv.45は青し fact2: あのぽちょぽえLv.30は底堅い fact3: あのぷいぷにょLv.45は出し易い fact4: もし仮にあのぷいぷにょLv.45が底堅いならばそれは取り易い fact5: あのぷいぷにょLv.45はだらし無い fact6: あのぷいぷにょLv.45は底堅くて出し易い ; $hypothesis$ = 「あのぷいぷにょLv.45は青しししかもそれは取り易い」ということは成り立たない ; $proof$ = 
fact6 -> int1: あのぷいぷにょLv.45は底堅い; int1 & fact4 -> int2: あのぷいぷにょLv.45は取り易い; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__