that that that the ribbon is not praetorian and not a chain is true does not hold is true if the fact that the adopter is a kind of a cetrimide hold.
sent1: the ribbon does kill. sent2: the fact that the fact that the ribbon is praetorian but it is not a cetrimide is right is false. sent3: if something is a chain but not praetorian then it is a cetrimide. sent4: if something is a chain that is not praetorian then it rationalizes sorceress. sent5: if the WWW is a cetrimide then the ribbon does chain. sent6: if the adopter is praetorian then that the ribbon is praetorian thing that does not chain is not correct. sent7: that the adopter is not a kind of a kill but it is praetorian is incorrect if the ribbon is a cetrimide. sent8: the fact that the ribbon is a cetrimide and does not rationalize sorceress is wrong if the adopter is praetorian. sent9: the ribbon is both not praetorian and not a chain. sent10: if that the ribbon is a chain is not false the adopter is not a chain and it is not a kill. sent11: the Communist does rationalize sorceress. sent12: if the adopter is a kind of a chain then that that the ribbon does chain and is not a kill is not true is correct. sent13: if the adopter is a kill the fact that the ribbon is both not a kill and not a chain is not true. sent14: if something that does rationalize sorceress is not a kill then it is praetorian. sent15: the rorqual does lime Blimp if it rationalizes Hooke and is not somatosensory. sent16: if the ribbon chains then the oculomotor is a chains. sent17: the ribbon does rationalize sorceress and is not praetorian. sent18: if something is a kind of a Polynesian then it is boric thing that does not rationalize racehorse. sent19: if the adopter is a kind of a cetrimide then the fact that the ribbon does not rationalize sorceress and is not praetorian is false. sent20: that the adopter is not a chain and is not phrasal does not hold.
void -> assump1: Let's assume that the adopter is a cetrimide.; sent14 -> int1: the adopter is praetorian if it does rationalize sorceress and does not kill.;
the oculomotor does chain.
$hypothesis$ = that that that the ribbon is not praetorian and not a chain is true does not hold is true if the fact that the adopter is a kind of a cetrimide hold. ; $context$ = sent1: the ribbon does kill. sent2: the fact that the fact that the ribbon is praetorian but it is not a cetrimide is right is false. sent3: if something is a chain but not praetorian then it is a cetrimide. sent4: if something is a chain that is not praetorian then it rationalizes sorceress. sent5: if the WWW is a cetrimide then the ribbon does chain. sent6: if the adopter is praetorian then that the ribbon is praetorian thing that does not chain is not correct. sent7: that the adopter is not a kind of a kill but it is praetorian is incorrect if the ribbon is a cetrimide. sent8: the fact that the ribbon is a cetrimide and does not rationalize sorceress is wrong if the adopter is praetorian. sent9: the ribbon is both not praetorian and not a chain. sent10: if that the ribbon is a chain is not false the adopter is not a chain and it is not a kill. sent11: the Communist does rationalize sorceress. sent12: if the adopter is a kind of a chain then that that the ribbon does chain and is not a kill is not true is correct. sent13: if the adopter is a kill the fact that the ribbon is both not a kill and not a chain is not true. sent14: if something that does rationalize sorceress is not a kill then it is praetorian. sent15: the rorqual does lime Blimp if it rationalizes Hooke and is not somatosensory. sent16: if the ribbon chains then the oculomotor is a chains. sent17: the ribbon does rationalize sorceress and is not praetorian. sent18: if something is a kind of a Polynesian then it is boric thing that does not rationalize racehorse. sent19: if the adopter is a kind of a cetrimide then the fact that the ribbon does not rationalize sorceress and is not praetorian is false. sent20: that the adopter is not a chain and is not phrasal does not hold. ; $proof$ = 
void -> assump1: Let's assume that the adopter is a cetrimide.; sent14 -> int1: the adopter is praetorian if it does rationalize sorceress and does not kill.; __UNKNOWN__