このぴくぴわLv.67は馬鹿馬鹿しいしまた木らしい
fact1: あらゆるモンスターは増え難くないしかつそれは馬鹿馬鹿しい fact2: 増え難くないかまたは割れ難いかまたは両方ともであるモンスターは増え難くない fact3: このぴくぴわLv.67は木らしい
fact1 -> int1: このぴくぴわLv.67は増え難くないが馬鹿馬鹿しい; int1 -> int2: このぴくぴわLv.67は馬鹿馬鹿しい; int2 & fact3 -> hypothesis;
fact1 -> int1: (¬{A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis;
「このぴくぴわLv.67は馬鹿馬鹿しくて木らしい」ということは誤っている
fact4 -> int3: もしもこのぴくぴわLv.67は増え難くないかまたは割れ難いかもしくはどちらもだとしたら増え難くない;
$facts$ = fact1: あらゆるモンスターは増え難くないしかつそれは馬鹿馬鹿しい fact2: 増え難くないかまたは割れ難いかまたは両方ともであるモンスターは増え難くない fact3: このぴくぴわLv.67は木らしい ; $hypothesis$ = このぴくぴわLv.67は馬鹿馬鹿しいしまた木らしい ; $proof$ = 
fact1 -> int1: このぴくぴわLv.67は増え難くないが馬鹿馬鹿しい; int1 -> int2: このぴくぴわLv.67は馬鹿馬鹿しい; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: (¬{A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis; __PROVED__