the tenpins is a kind of non-slow thing that is not non-disintegrative.
sent1: if something is not a kind of a motoneuron then the fact that it is both not slow and disintegrative is wrong. sent2: if the tattletale is a future then the tenpins does not avail. sent3: if something does slow then it is a future. sent4: the tenpins does not arrive constancy and is a glebe. sent5: the tattletale is not fiscal if the fact that it does interpose amrinone is not wrong. sent6: the tattletale is fiscal. sent7: the tenpins does curb speedway. sent8: the cytomembrane is a vaporizer. sent9: the tattletale is not a motoneuron if the fact that the tenpins is a future hold. sent10: the amrinone does avail. sent11: the tattletale is not non-future if the fact that it is not fiscal and it is not non-disintegrative does not hold. sent12: if the tenpins slows it is a future. sent13: the upsetter does transubstantiate if it is not future. sent14: the tattletale is a kind of a motoneuron if it is not an avail. sent15: if that something is not slow but it is disintegrative is not true it is a future. sent16: the tattletale is not a kind of an avail if it is fiscal.
sent15 -> int1: if that the tenpins is not slow and is disintegrative is false it is future.; void -> assump1: Let's assume that that the tenpins is not slow but disintegrative is not correct.; int1 & assump1 -> int2: the tenpins is a kind of a future.; int2 & sent9 -> int3: the tattletale is not a motoneuron.; sent16 & sent6 -> int4: the tattletale is not an avail.; sent14 & int4 -> int5: the tattletale is a motoneuron.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the fact that the tenpins is both not slow and disintegrative is not correct.
sent1 -> int7: the fact that the tenpins is not slow but disintegrative is wrong if it is not a motoneuron.;
$hypothesis$ = the tenpins is a kind of non-slow thing that is not non-disintegrative. ; $context$ = sent1: if something is not a kind of a motoneuron then the fact that it is both not slow and disintegrative is wrong. sent2: if the tattletale is a future then the tenpins does not avail. sent3: if something does slow then it is a future. sent4: the tenpins does not arrive constancy and is a glebe. sent5: the tattletale is not fiscal if the fact that it does interpose amrinone is not wrong. sent6: the tattletale is fiscal. sent7: the tenpins does curb speedway. sent8: the cytomembrane is a vaporizer. sent9: the tattletale is not a motoneuron if the fact that the tenpins is a future hold. sent10: the amrinone does avail. sent11: the tattletale is not non-future if the fact that it is not fiscal and it is not non-disintegrative does not hold. sent12: if the tenpins slows it is a future. sent13: the upsetter does transubstantiate if it is not future. sent14: the tattletale is a kind of a motoneuron if it is not an avail. sent15: if that something is not slow but it is disintegrative is not true it is a future. sent16: the tattletale is not a kind of an avail if it is fiscal. ; $proof$ = 
sent15 -> int1: if that the tenpins is not slow and is disintegrative is false it is future.; void -> assump1: Let's assume that that the tenpins is not slow but disintegrative is not correct.; int1 & assump1 -> int2: the tenpins is a kind of a future.; int2 & sent9 -> int3: the tattletale is not a motoneuron.; sent16 & sent6 -> int4: the tattletale is not an avail.; sent14 & int4 -> int5: the tattletale is a motoneuron.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__