the massicot is not gloveless.
sent1: the dicloxacillin plasticizes but it is not a kind of a thwart if the graze plasticizes. sent2: if the graze is avian that it is a titter hold. sent3: the necessity does not thwart. sent4: the graze is not a spirited. sent5: everything does not hitch Cohan. sent6: everything does not thirst friar's-cowl and is not a spirited. sent7: if the ladle is a kind of a unilateralist the fact that the dicloxacillin is not a thwart but it does thirst friar's-cowl is not true. sent8: the ladle is a unilateralist. sent9: the ladle thirsts friar's-cowl if the dicloxacillin plasticizes but it is not a thwart. sent10: if the graze is a kind of a cattail then the fact that it does not plasticize is not right. sent11: the massicot is not gloveless if the necessity is not a unilateralist. sent12: the graze is a kind of a cattail if it does treble Whitsun and/or it is not acquisitive. sent13: the graze is acquisitive or does not thirst friar's-cowl or both. sent14: the fact that the Kern is Norman and/or not gloveless does not hold. sent15: if there exists something such that the fact that it is not a thwart and does thirst friar's-cowl is not right then the graze does not thirst friar's-cowl.
void -> assump1: Let's assume that the graze does treble Whitsun and/or it is not acquisitive.; sent12 & assump1 -> int1: the fact that the graze is a kind of a cattail hold.; int1 & sent10 -> int2: the graze plasticizes.; int2 & sent1 -> int3: the dicloxacillin plasticizes and does not thwart.; int3 & sent9 -> int4: the ladle does thirst friar's-cowl.; sent6 -> int5: the ladle does not thirst friar's-cowl and it is not a spirited.; int5 -> int6: the ladle does not thirst friar's-cowl.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the graze trebles Whitsun and/or is not acquisitive is not true.;
the massicot is gloveless.
sent7 & sent8 -> int9: the fact that the dicloxacillin is not a thwart but it does thirst friar's-cowl does not hold.; int9 -> int10: there is something such that the fact that it does not thwart and thirsts friar's-cowl is not true.; int10 & sent15 -> int11: the graze does not thirst friar's-cowl.;
$hypothesis$ = the massicot is not gloveless. ; $context$ = sent1: the dicloxacillin plasticizes but it is not a kind of a thwart if the graze plasticizes. sent2: if the graze is avian that it is a titter hold. sent3: the necessity does not thwart. sent4: the graze is not a spirited. sent5: everything does not hitch Cohan. sent6: everything does not thirst friar's-cowl and is not a spirited. sent7: if the ladle is a kind of a unilateralist the fact that the dicloxacillin is not a thwart but it does thirst friar's-cowl is not true. sent8: the ladle is a unilateralist. sent9: the ladle thirsts friar's-cowl if the dicloxacillin plasticizes but it is not a thwart. sent10: if the graze is a kind of a cattail then the fact that it does not plasticize is not right. sent11: the massicot is not gloveless if the necessity is not a unilateralist. sent12: the graze is a kind of a cattail if it does treble Whitsun and/or it is not acquisitive. sent13: the graze is acquisitive or does not thirst friar's-cowl or both. sent14: the fact that the Kern is Norman and/or not gloveless does not hold. sent15: if there exists something such that the fact that it is not a thwart and does thirst friar's-cowl is not right then the graze does not thirst friar's-cowl. ; $proof$ = 
void -> assump1: Let's assume that the graze does treble Whitsun and/or it is not acquisitive.; sent12 & assump1 -> int1: the fact that the graze is a kind of a cattail hold.; int1 & sent10 -> int2: the graze plasticizes.; int2 & sent1 -> int3: the dicloxacillin plasticizes and does not thwart.; int3 & sent9 -> int4: the ladle does thirst friar's-cowl.; sent6 -> int5: the ladle does not thirst friar's-cowl and it is not a spirited.; int5 -> int6: the ladle does not thirst friar's-cowl.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the graze trebles Whitsun and/or is not acquisitive is not true.; __UNKNOWN__