there exists something such that if that it is both not pyretic and a Eurocurrency is incorrect then it is not a rotavirus.
sent1: if the fact that something is not pyretic but it is a Eurocurrency is not correct then it is not a rotavirus. sent2: the phlegm is not a appreciator if the fact that it is not pyretic and it does rustle micropaleontology is wrong. sent3: there is something such that if the fact that that it is not pyretic and it is a Eurocurrency is correct does not hold it is a rotavirus. sent4: if that something is not pyretic but it is a chair is wrong then it does not reimburse Tibet.
sent1 -> int1: the phlegm is not a rotavirus if that it is not pyretic but a Eurocurrency is not right.; int1 -> hypothesis;
if that the phlegm is non-pyretic a chair is not true then it does not reimburse Tibet.
sent4 -> hypothesis;
$hypothesis$ = there exists something such that if that it is both not pyretic and a Eurocurrency is incorrect then it is not a rotavirus. ; $context$ = sent1: if the fact that something is not pyretic but it is a Eurocurrency is not correct then it is not a rotavirus. sent2: the phlegm is not a appreciator if the fact that it is not pyretic and it does rustle micropaleontology is wrong. sent3: there is something such that if the fact that that it is not pyretic and it is a Eurocurrency is correct does not hold it is a rotavirus. sent4: if that something is not pyretic but it is a chair is wrong then it does not reimburse Tibet. ; $proof$ = 
sent1 -> int1: the phlegm is not a rotavirus if that it is not pyretic but a Eurocurrency is not right.; int1 -> hypothesis; __PROVED__