if the piton primes lactation then the liebfraumilch does not gate temperature and does gate truth.
sent1: if the liebfraumilch gates temperature then the presbyope gates truth. sent2: the liebfraumilch gates temperature and it does gate truth if the piton does prime lactation. sent3: the liebfraumilch does gate truth if the piton does prime lactation. sent4: the presbyope does gate temperature if that the piton does not prime monohydrate and is not a mycelium is not right. sent5: the presbyope does gate temperature if the piton does prime monohydrate. sent6: if the piton does prime lactation then that it does not prime monohydrate and is not a kind of a mycelium does not hold. sent7: the fact that the piton primes monohydrate and is not a mycelium is not correct. sent8: the liebfraumilch is a kind of a mycelium. sent9: if the presbyope does gate temperature then the liebfraumilch does not gate temperature but it does gate truth.
void -> assump1: Let's assume that the piton does prime lactation.; sent6 & assump1 -> int1: the fact that the piton does not prime monohydrate and it is not a mycelium is not true.; sent4 & int1 -> int2: the fact that the presbyope does gate temperature hold.; sent9 & int2 -> int3: the liebfraumilch does not gate temperature but it gates truth.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the piton primes lactation then the liebfraumilch does not gate temperature and does gate truth. ; $context$ = sent1: if the liebfraumilch gates temperature then the presbyope gates truth. sent2: the liebfraumilch gates temperature and it does gate truth if the piton does prime lactation. sent3: the liebfraumilch does gate truth if the piton does prime lactation. sent4: the presbyope does gate temperature if that the piton does not prime monohydrate and is not a mycelium is not right. sent5: the presbyope does gate temperature if the piton does prime monohydrate. sent6: if the piton does prime lactation then that it does not prime monohydrate and is not a kind of a mycelium does not hold. sent7: the fact that the piton primes monohydrate and is not a mycelium is not correct. sent8: the liebfraumilch is a kind of a mycelium. sent9: if the presbyope does gate temperature then the liebfraumilch does not gate temperature but it does gate truth. ; $proof$ = 
void -> assump1: Let's assume that the piton does prime lactation.; sent6 & assump1 -> int1: the fact that the piton does not prime monohydrate and it is not a mycelium is not true.; sent4 & int1 -> int2: the fact that the presbyope does gate temperature hold.; sent9 & int2 -> int3: the liebfraumilch does not gate temperature but it gates truth.; [assump1] & int3 -> hypothesis; __PROVED__