the cannikin is a Amur.
sent1: the reptile does not laicize traumatology if it rays Lemaitre and it is not a Cardiff. sent2: something is not a judge if the fact that it does not mop and does gelatinize is not right. sent3: if something does not gelatinize then it is not a judge. sent4: if the Trapezium is not a welcome the cannikin is not a kind of a welcome but it is Piagetian. sent5: if the reptile does not gelatinize it is not a judge. sent6: if something that is a kind of a welcome is Piagetian it is not a Amur. sent7: if a non-welcome thing is Piagetian then that it is not a kind of a Amur hold. sent8: the cannikin does not welcome. sent9: if the Trapezium is welcome that the reptile does not mop and does gelatinize is wrong. sent10: the trustee does not laicize traumatology and is not a judge. sent11: if the reptile is not a judge that the trustee does not laicize traumatology and does not judge is not correct. sent12: if something is not a judge then that it does welcome and it is not a Amur is incorrect. sent13: the fact that the trustee does not laicize traumatology but it is Piagetian does not hold if the cannikin does welcome. sent14: the fact that something is non-Piagetian a judge is wrong if it does not laicize traumatology.
void -> assump1: Let's assume that the fact that the Trapezium welcomes is correct.; sent9 & assump1 -> int1: that the reptile does not mop and does gelatinize is incorrect.; sent2 -> int2: the reptile is not a judge if the fact that it does not mop and it does gelatinize is not true.; int1 & int2 -> int3: the reptile is not a judge.; int3 & sent11 -> int4: the fact that the trustee does not laicize traumatology and it is not a judge is incorrect.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Trapezium is not a kind of a welcome.; int6 & sent4 -> int7: the cannikin is not welcome but Piagetian.; sent7 -> int8: the cannikin is not a kind of a Amur if it is both unwelcome and Piagetian.; int7 & int8 -> hypothesis;
that the cannikin is a Amur is correct.
sent12 -> int9: the fact that the Trapezium welcomes but it is not a Amur does not hold if it does not judge.; sent14 -> int10: if the reptile does not laicize traumatology that it is a kind of non-Piagetian thing that is a kind of a judge is incorrect.;
$hypothesis$ = the cannikin is a Amur. ; $context$ = sent1: the reptile does not laicize traumatology if it rays Lemaitre and it is not a Cardiff. sent2: something is not a judge if the fact that it does not mop and does gelatinize is not right. sent3: if something does not gelatinize then it is not a judge. sent4: if the Trapezium is not a welcome the cannikin is not a kind of a welcome but it is Piagetian. sent5: if the reptile does not gelatinize it is not a judge. sent6: if something that is a kind of a welcome is Piagetian it is not a Amur. sent7: if a non-welcome thing is Piagetian then that it is not a kind of a Amur hold. sent8: the cannikin does not welcome. sent9: if the Trapezium is welcome that the reptile does not mop and does gelatinize is wrong. sent10: the trustee does not laicize traumatology and is not a judge. sent11: if the reptile is not a judge that the trustee does not laicize traumatology and does not judge is not correct. sent12: if something is not a judge then that it does welcome and it is not a Amur is incorrect. sent13: the fact that the trustee does not laicize traumatology but it is Piagetian does not hold if the cannikin does welcome. sent14: the fact that something is non-Piagetian a judge is wrong if it does not laicize traumatology. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Trapezium welcomes is correct.; sent9 & assump1 -> int1: that the reptile does not mop and does gelatinize is incorrect.; sent2 -> int2: the reptile is not a judge if the fact that it does not mop and it does gelatinize is not true.; int1 & int2 -> int3: the reptile is not a judge.; int3 & sent11 -> int4: the fact that the trustee does not laicize traumatology and it is not a judge is incorrect.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Trapezium is not a kind of a welcome.; int6 & sent4 -> int7: the cannikin is not welcome but Piagetian.; sent7 -> int8: the cannikin is not a kind of a Amur if it is both unwelcome and Piagetian.; int7 & int8 -> hypothesis; __DISPROVED__