if the focalization is a Poronotus but not tibial the whalesucker is divisional.
sent1: the focalization is a Poronotus. sent2: if the chip reorders that the littoral is a existentialist but not verbal does not hold. sent3: the focalization is not verbal if it is a Poronotus and is not non-tibial. sent4: the chip reorders and it is a kind of a hydrocarbon if it does not tinsel bobsledding. sent5: the chip does not tinsel bobsledding if that it is not a kind of a romantic and it incorporates technology is not right. sent6: if the focalization is a kind of a Poronotus and it is tibial then the whalesucker is divisional. sent7: if the focalization is not verbal then the whalesucker is divisional. sent8: the focalization is not tibial. sent9: if the focalization is a Poronotus but it is not tibial then it is not verbal. sent10: the whalesucker is tibial.
void -> assump1: Let's assume that the fact that the focalization is a Poronotus and is not tibial is not wrong.; sent9 & assump1 -> int1: that the focalization is not verbal hold.; sent7 & int1 -> int2: the whalesucker is divisional.; [assump1] & int2 -> hypothesis;
the focalization is not divisional.
$hypothesis$ = if the focalization is a Poronotus but not tibial the whalesucker is divisional. ; $context$ = sent1: the focalization is a Poronotus. sent2: if the chip reorders that the littoral is a existentialist but not verbal does not hold. sent3: the focalization is not verbal if it is a Poronotus and is not non-tibial. sent4: the chip reorders and it is a kind of a hydrocarbon if it does not tinsel bobsledding. sent5: the chip does not tinsel bobsledding if that it is not a kind of a romantic and it incorporates technology is not right. sent6: if the focalization is a kind of a Poronotus and it is tibial then the whalesucker is divisional. sent7: if the focalization is not verbal then the whalesucker is divisional. sent8: the focalization is not tibial. sent9: if the focalization is a Poronotus but it is not tibial then it is not verbal. sent10: the whalesucker is tibial. ; $proof$ = 
void -> assump1: Let's assume that the fact that the focalization is a Poronotus and is not tibial is not wrong.; sent9 & assump1 -> int1: that the focalization is not verbal hold.; sent7 & int1 -> int2: the whalesucker is divisional.; [assump1] & int2 -> hypothesis; __PROVED__