if the laparoscope is a placental then the paintball is not retrorse.
sent1: if the fact that the killifish is a kind of a familiar but it does not shore killifish is not right then the paintball is not retrorse. sent2: that the killifish is a kind of a familiar but it does not shore killifish does not hold if the laparoscope does not shore killifish. sent3: something does not shore killifish if it billows saturation and is placental. sent4: there is something such that that the fact that it is not a psychotherapist and is obligate is correct does not hold. sent5: that the laparoscope does billow saturation hold if there exists something such that the fact that it is both not a psychotherapist and obligate is false.
sent4 & sent5 -> int1: the laparoscope billows saturation.; void -> assump1: Let's assume that the fact that the laparoscope is placental is true.; int1 & assump1 -> int2: the laparoscope does billow saturation and it is not non-placental.; sent3 -> int3: the laparoscope does not shore killifish if it billows saturation and is a kind of a placental.; int2 & int3 -> int4: the laparoscope does not shore killifish.; int4 & sent2 -> int5: the fact that the killifish is a kind of a familiar but it does not shore killifish does not hold.; int5 & sent1 -> int6: the paintball is not retrorse.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the laparoscope is a placental then the paintball is not retrorse. ; $context$ = sent1: if the fact that the killifish is a kind of a familiar but it does not shore killifish is not right then the paintball is not retrorse. sent2: that the killifish is a kind of a familiar but it does not shore killifish does not hold if the laparoscope does not shore killifish. sent3: something does not shore killifish if it billows saturation and is placental. sent4: there is something such that that the fact that it is not a psychotherapist and is obligate is correct does not hold. sent5: that the laparoscope does billow saturation hold if there exists something such that the fact that it is both not a psychotherapist and obligate is false. ; $proof$ = 
sent4 & sent5 -> int1: the laparoscope billows saturation.; void -> assump1: Let's assume that the fact that the laparoscope is placental is true.; int1 & assump1 -> int2: the laparoscope does billow saturation and it is not non-placental.; sent3 -> int3: the laparoscope does not shore killifish if it billows saturation and is a kind of a placental.; int2 & int3 -> int4: the laparoscope does not shore killifish.; int4 & sent2 -> int5: the fact that the killifish is a kind of a familiar but it does not shore killifish does not hold.; int5 & sent1 -> int6: the paintball is not retrorse.; [assump1] & int6 -> hypothesis; __PROVED__