if the anemometer pours the propanediol is not a kind of a Philistine.
sent1: everything does not investigate propanediol and it is stubborn. sent2: if the Pyrethrum does not investigate propanediol but it is stubborn then the anemometer is Audenesque. sent3: the propanediol is not a Philistine if the anemometer is Audenesque and it pours.
sent1 -> int1: the Pyrethrum does not investigate propanediol and is stubborn.; sent2 & int1 -> int2: the fact that the anemometer is Audenesque hold.; void -> assump1: Let's assume that the anemometer does pour.; int2 & assump1 -> int3: the anemometer is Audenesque and it does pour.; sent3 & int3 -> int4: the propanediol is not a kind of a Philistine.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the anemometer pours the propanediol is not a kind of a Philistine. ; $context$ = sent1: everything does not investigate propanediol and it is stubborn. sent2: if the Pyrethrum does not investigate propanediol but it is stubborn then the anemometer is Audenesque. sent3: the propanediol is not a Philistine if the anemometer is Audenesque and it pours. ; $proof$ = 
sent1 -> int1: the Pyrethrum does not investigate propanediol and is stubborn.; sent2 & int1 -> int2: the fact that the anemometer is Audenesque hold.; void -> assump1: Let's assume that the anemometer does pour.; int2 & assump1 -> int3: the anemometer is Audenesque and it does pour.; sent3 & int3 -> int4: the propanediol is not a kind of a Philistine.; [assump1] & int4 -> hypothesis; __PROVED__