if the Viola is a phycocyanin then that the enginery is a Rodin but it does not inflate does not hold.
sent1: the enginery does inflate and/or it is a kind of a strop. sent2: if something is a kind of a Ormazd then that it confines tape and it is not a temperament is not true. sent3: something that is either a strop or aphoristic or both does not inflate. sent4: that the enginery is a kind of a Rodin that does not inflate does not hold if the voider does not inflate.
void -> assump2: Let's assume that the Viola is both a Ormazd and not a phycocyanin.; assump2 -> int1: the Viola is not a phycocyanin.; void -> assump1: Let's assume that the Viola is a phycocyanin.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the Viola is a Ormazd that is not a phycocyanin is not right.; sent3 -> int4: if the voider strops and/or it is aphoristic it does not inflate.;
the fact that the margay confines tape and is not a kind of a temperament is not correct.
sent2 -> int5: if the margay is a Ormazd that it confines tape and is not a temperament is not right.;
$hypothesis$ = if the Viola is a phycocyanin then that the enginery is a Rodin but it does not inflate does not hold. ; $context$ = sent1: the enginery does inflate and/or it is a kind of a strop. sent2: if something is a kind of a Ormazd then that it confines tape and it is not a temperament is not true. sent3: something that is either a strop or aphoristic or both does not inflate. sent4: that the enginery is a kind of a Rodin that does not inflate does not hold if the voider does not inflate. ; $proof$ = 
void -> assump2: Let's assume that the Viola is both a Ormazd and not a phycocyanin.; assump2 -> int1: the Viola is not a phycocyanin.; void -> assump1: Let's assume that the Viola is a phycocyanin.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the Viola is a Ormazd that is not a phycocyanin is not right.; sent3 -> int4: if the voider strops and/or it is aphoristic it does not inflate.; __UNKNOWN__