the teller is not a feist.
sent1: the fact that the teller does serenade roundtable and considers ratel is incorrect if there exists something such that the fact that it is unpatriotic is correct. sent2: if there is something such that the fact that it is unpatriotic and is a kind of a TCP is not true the reception is not unpatriotic. sent3: the teller is not evitable. sent4: if something does consider ratel then the teller is a meteorologist or a sow or both. sent5: that the farmstead is unpatriotic and it serenades roundtable is not true. sent6: the farmstead does consider ratel if the reception serenades roundtable and does not consider ratel. sent7: the fact that everything is not skinny hold. sent8: if the teller is a kind of a feist then it does sow. sent9: if the teller sows then the indinavir does sows. sent10: if something is not a skinny the fact that it is unpatriotic and it is a TCP is wrong. sent11: the farmstead is unpatriotic. sent12: the indinavir is a sow if the teller is a meteorologist. sent13: if something is a kind of a sow then it is a meteorologist. sent14: if something is a sow then it is a kind of a feist. sent15: something does consider ratel if it is a meteorologist.
void -> assump1: Let's assume that the teller is a feist.; sent8 & assump1 -> int1: the teller is a kind of a sow.; sent13 -> int2: if the teller sows then it is a meteorologist.; int1 & int2 -> int3: the teller is a kind of a meteorologist.; sent15 -> int4: if the teller is a meteorologist it considers ratel.; int3 & int4 -> int5: the fact that the teller considers ratel is true.; sent11 -> int6: something is unpatriotic.; int6 & sent1 -> int7: that the teller serenades roundtable and considers ratel is not correct.;
the indinavir is a feist.
sent7 -> int8: the victim is not skinny.; sent10 -> int9: the fact that the victim is a kind of unpatriotic a TCP is wrong if it is not skinny.; int8 & int9 -> int10: the fact that the victim is unpatriotic and it is a TCP is false.; int10 -> int11: there exists nothing such that it is unpatriotic and a TCP.; int11 -> int12: the fact that the redstart is a kind of unpatriotic thing that is a TCP does not hold.; int12 -> int13: there is something such that that it is unpatriotic thing that is a TCP does not hold.; int13 & sent2 -> int14: the reception is not unpatriotic.; sent14 -> int15: that the indinavir is a feist is not wrong if it is a sow.;
$hypothesis$ = the teller is not a feist. ; $context$ = sent1: the fact that the teller does serenade roundtable and considers ratel is incorrect if there exists something such that the fact that it is unpatriotic is correct. sent2: if there is something such that the fact that it is unpatriotic and is a kind of a TCP is not true the reception is not unpatriotic. sent3: the teller is not evitable. sent4: if something does consider ratel then the teller is a meteorologist or a sow or both. sent5: that the farmstead is unpatriotic and it serenades roundtable is not true. sent6: the farmstead does consider ratel if the reception serenades roundtable and does not consider ratel. sent7: the fact that everything is not skinny hold. sent8: if the teller is a kind of a feist then it does sow. sent9: if the teller sows then the indinavir does sows. sent10: if something is not a skinny the fact that it is unpatriotic and it is a TCP is wrong. sent11: the farmstead is unpatriotic. sent12: the indinavir is a sow if the teller is a meteorologist. sent13: if something is a kind of a sow then it is a meteorologist. sent14: if something is a sow then it is a kind of a feist. sent15: something does consider ratel if it is a meteorologist. ; $proof$ = 
void -> assump1: Let's assume that the teller is a feist.; sent8 & assump1 -> int1: the teller is a kind of a sow.; sent13 -> int2: if the teller sows then it is a meteorologist.; int1 & int2 -> int3: the teller is a kind of a meteorologist.; sent15 -> int4: if the teller is a meteorologist it considers ratel.; int3 & int4 -> int5: the fact that the teller considers ratel is true.; sent11 -> int6: something is unpatriotic.; int6 & sent1 -> int7: that the teller serenades roundtable and considers ratel is not correct.; __UNKNOWN__