if the pull-through does tilt then the Marks is a kind of invertebrate thing that is not a kind of an escort.
sent1: the Marks does obtrude if the tyrothricin does not obtrude. sent2: if the Marks does tilt the pull-through is lithomantic but it is not an invertebrate. sent3: the fact that the tyrothricin obtrudes but it is non-bistroic is incorrect. sent4: if something obtrudes then the fact that it is a kind of an invertebrate hold. sent5: if something that obtrudes is not invertebrate then that it does not tilt is not false. sent6: the fact that if something is not a kind of a tilt then the fact that it does not escort and it is lithomantic is not right is not incorrect. sent7: if the pull-through does not defibrillate strung the cyberpunk obtrudes but it is not an invertebrate. sent8: the fact that the pull-through is not lithomantic does not hold. sent9: the Marks does obtrude if that the tyrothricin does obtrude and is not bistroic is not right. sent10: if that something is not a kind of an escort but it is lithomantic is incorrect it is not lithomantic. sent11: if the pull-through is a tilt and lithomantic then the Marks is not an escort.
void -> assump1: Let's assume that the pull-through does tilt.; assump1 & sent8 -> int1: the pull-through tilts and it is lithomantic.; int1 & sent11 -> int2: the Marks is not a kind of an escort.; sent4 -> int3: if the Marks obtrudes then it is an invertebrate.; sent9 & sent3 -> int4: the Marks does obtrude.; int3 & int4 -> int5: the Marks is a kind of an invertebrate.; int2 & int5 -> int6: that the Marks is an invertebrate but it is not a kind of an escort is true.; [assump1] & int6 -> hypothesis;
the cyberpunk is not lithomantic.
sent10 -> int7: if that the cyberpunk is not an escort but it is lithomantic is incorrect it is not lithomantic.; sent6 -> int8: that the cyberpunk is not an escort but lithomantic is not correct if it is not a tilt.; sent5 -> int9: the cyberpunk does not tilt if it obtrudes and it is not an invertebrate.;
$hypothesis$ = if the pull-through does tilt then the Marks is a kind of invertebrate thing that is not a kind of an escort. ; $context$ = sent1: the Marks does obtrude if the tyrothricin does not obtrude. sent2: if the Marks does tilt the pull-through is lithomantic but it is not an invertebrate. sent3: the fact that the tyrothricin obtrudes but it is non-bistroic is incorrect. sent4: if something obtrudes then the fact that it is a kind of an invertebrate hold. sent5: if something that obtrudes is not invertebrate then that it does not tilt is not false. sent6: the fact that if something is not a kind of a tilt then the fact that it does not escort and it is lithomantic is not right is not incorrect. sent7: if the pull-through does not defibrillate strung the cyberpunk obtrudes but it is not an invertebrate. sent8: the fact that the pull-through is not lithomantic does not hold. sent9: the Marks does obtrude if that the tyrothricin does obtrude and is not bistroic is not right. sent10: if that something is not a kind of an escort but it is lithomantic is incorrect it is not lithomantic. sent11: if the pull-through is a tilt and lithomantic then the Marks is not an escort. ; $proof$ = 
void -> assump1: Let's assume that the pull-through does tilt.; assump1 & sent8 -> int1: the pull-through tilts and it is lithomantic.; int1 & sent11 -> int2: the Marks is not a kind of an escort.; sent4 -> int3: if the Marks obtrudes then it is an invertebrate.; sent9 & sent3 -> int4: the Marks does obtrude.; int3 & int4 -> int5: the Marks is a kind of an invertebrate.; int2 & int5 -> int6: that the Marks is an invertebrate but it is not a kind of an escort is true.; [assump1] & int6 -> hypothesis; __PROVED__