the betel is not an abeyance and is gonadotropic.
sent1: the Edam does demise and is not insubordinate if the lichen demise. sent2: if the fact that something is not a kind of a terminal and it is not a kind of a toecap does not hold then it is not insubordinate. sent3: the fact that something is not terminal and not a toecap is false if the fact that it is a gunsight is not false. sent4: the lichen is a gunsight if there is something such that the fact that it is legitimate but not a gunsight is wrong. sent5: the lichen is an abeyance. sent6: if the lichen demises then the Edam does demises. sent7: something plummets if it is ceric and it does not sniff cockateel. sent8: the Edam is not xeric. sent9: there is something such that that it does legitimate and it is not a gunsight is not right. sent10: the fact that the lichen does not demise but it does displace does not hold if it is not non-xeric. sent11: the fact that if something that does demise is not insubordinate then it is xeric is not wrong. sent12: if that the betel displaces is correct then the lichen does demise. sent13: the betel is not a kind of an abeyance and demises. sent14: if the lichen does not demise that it displaces is not false.
void -> assump1: Let's assume that the fact that the betel is not an abeyance but it is gonadotropic is not right.; sent11 -> int1: the Edam is xeric if it does demise and it is not insubordinate.;
the charm displaces.
sent2 -> int2: if the fact that the lichen is not a terminal and it is not a toecap does not hold then it is not insubordinate.; sent3 -> int3: if the lichen is a gunsight that it is not a terminal and it is not a toecap is not true.; sent9 & sent4 -> int4: the lichen is a kind of a gunsight.; int3 & int4 -> int5: that the lichen is not terminal and it is not a kind of a toecap is wrong.; int2 & int5 -> int6: the lichen is not insubordinate.;
$hypothesis$ = the betel is not an abeyance and is gonadotropic. ; $context$ = sent1: the Edam does demise and is not insubordinate if the lichen demise. sent2: if the fact that something is not a kind of a terminal and it is not a kind of a toecap does not hold then it is not insubordinate. sent3: the fact that something is not terminal and not a toecap is false if the fact that it is a gunsight is not false. sent4: the lichen is a gunsight if there is something such that the fact that it is legitimate but not a gunsight is wrong. sent5: the lichen is an abeyance. sent6: if the lichen demises then the Edam does demises. sent7: something plummets if it is ceric and it does not sniff cockateel. sent8: the Edam is not xeric. sent9: there is something such that that it does legitimate and it is not a gunsight is not right. sent10: the fact that the lichen does not demise but it does displace does not hold if it is not non-xeric. sent11: the fact that if something that does demise is not insubordinate then it is xeric is not wrong. sent12: if that the betel displaces is correct then the lichen does demise. sent13: the betel is not a kind of an abeyance and demises. sent14: if the lichen does not demise that it displaces is not false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the betel is not an abeyance but it is gonadotropic is not right.; sent11 -> int1: the Edam is xeric if it does demise and it is not insubordinate.; __UNKNOWN__