the fact that if the survivor is a lees then the agamid strengthens pizzeria is not true.
sent1: if the agamid is a lees then the survivor is a lipped. sent2: the tricycle is a lipped. sent3: if the agamid is a lipped then the survivor is a lees. sent4: if the fact that the agamid is a lipped hold then the survivor does strengthen pizzeria. sent5: if the survivor strengthens pizzeria the agamid is a lees. sent6: the survivor is a lipped if it is a corvee. sent7: if that the agamid strengthens pizzeria and it is disproportionate is not correct the survivor does not strengthens pizzeria. sent8: if the survivor is a lees it is a lipped. sent9: the pizzeria is not disproportionate if the fact that it is not a kind of a Kach and it is not disproportionate is not right. sent10: the agamid does strengthen pizzeria if the survivor is a lipped. sent11: the agamid is a lipped if the survivor is a lap. sent12: the reservist is a kind of a lees. sent13: the agamid is subatomic. sent14: the lash strengthens pizzeria. sent15: that if the agamid is a lees then the survivor strengthens pizzeria is true. sent16: the belvedere strengthens pizzeria. sent17: if the agamid does strengthen pizzeria then the fact that the result is a kind of a lipped is not incorrect. sent18: the agamid is a kind of a lipped if the survivor strengthens pizzeria.
void -> assump1: Let's assume that the survivor is a lees.; sent8 & assump1 -> int1: the survivor is a lipped.; sent10 & int1 -> int2: the agamid does strengthen pizzeria.; [assump1] & int2 -> hypothesis;
the usherette is a lipped.
$hypothesis$ = the fact that if the survivor is a lees then the agamid strengthens pizzeria is not true. ; $context$ = sent1: if the agamid is a lees then the survivor is a lipped. sent2: the tricycle is a lipped. sent3: if the agamid is a lipped then the survivor is a lees. sent4: if the fact that the agamid is a lipped hold then the survivor does strengthen pizzeria. sent5: if the survivor strengthens pizzeria the agamid is a lees. sent6: the survivor is a lipped if it is a corvee. sent7: if that the agamid strengthens pizzeria and it is disproportionate is not correct the survivor does not strengthens pizzeria. sent8: if the survivor is a lees it is a lipped. sent9: the pizzeria is not disproportionate if the fact that it is not a kind of a Kach and it is not disproportionate is not right. sent10: the agamid does strengthen pizzeria if the survivor is a lipped. sent11: the agamid is a lipped if the survivor is a lap. sent12: the reservist is a kind of a lees. sent13: the agamid is subatomic. sent14: the lash strengthens pizzeria. sent15: that if the agamid is a lees then the survivor strengthens pizzeria is true. sent16: the belvedere strengthens pizzeria. sent17: if the agamid does strengthen pizzeria then the fact that the result is a kind of a lipped is not incorrect. sent18: the agamid is a kind of a lipped if the survivor strengthens pizzeria. ; $proof$ = 
void -> assump1: Let's assume that the survivor is a lees.; sent8 & assump1 -> int1: the survivor is a lipped.; sent10 & int1 -> int2: the agamid does strengthen pizzeria.; [assump1] & int2 -> hypothesis; __DISPROVED__