the retrorocket is not a kind of an integral.
sent1: if the millionairess does deduce fall then the retrorocket is a kind of a timber. sent2: if the fact that the front is an integral that is ugly does not hold then the retrorocket is not a kind of an integral. sent3: something is an integral if it is not a pushball. sent4: the millionairess deduces fall if the fact that it deduces phase and it is non-ugly is not correct. sent5: if the retrorocket is not invariable then it immortalizes faithlessness and it is a Taif. sent6: that the front is aponeurotic and is not a thinness is incorrect. sent7: if the epaulet does deduce phase then it does not deduce fall and is ugly. sent8: if the epaulet does not deduce fall but it is ugly then the millionairess is not ugly. sent9: the front does not deduce phase if the fact that either the millionairess does deduce phase or it is not a timber or both does not hold. sent10: the retrorocket is not invariable. sent11: the retrorocket is an instruction that does immortalize faithlessness. sent12: that the millionairess does deduce phase but it is not ugly is false if the front is ugly. sent13: if that the front is aponeurotic but it is not a thinness is incorrect then it is ugly. sent14: if something that is a timber is a kind of a Taif the fact that it is not a pushball is not false. sent15: that the mako is not ugly is not incorrect if the front does not deduce phase. sent16: something does deduce phase if it is a timber.
sent13 & sent6 -> int1: the front is ugly.; int1 & sent12 -> int2: the fact that the millionairess does deduce phase and is not ugly is false.; int2 & sent4 -> int3: the millionairess deduces fall.; int3 & sent1 -> int4: the retrorocket is a timber.; sent5 & sent10 -> int5: the retrorocket does immortalize faithlessness and is a kind of a Taif.; int5 -> int6: the retrorocket is a kind of a Taif.; int4 & int6 -> int7: the retrorocket is a kind of a timber and it is a Taif.; sent14 -> int8: the retrorocket is not a kind of a pushball if it is a timber and it is a kind of a Taif.; int7 & int8 -> int9: the retrorocket is not a pushball.; sent3 -> int10: if the retrorocket is not a pushball it is an integral.; int9 & int10 -> hypothesis;
the mako is non-ugly.
$hypothesis$ = the retrorocket is not a kind of an integral. ; $context$ = sent1: if the millionairess does deduce fall then the retrorocket is a kind of a timber. sent2: if the fact that the front is an integral that is ugly does not hold then the retrorocket is not a kind of an integral. sent3: something is an integral if it is not a pushball. sent4: the millionairess deduces fall if the fact that it deduces phase and it is non-ugly is not correct. sent5: if the retrorocket is not invariable then it immortalizes faithlessness and it is a Taif. sent6: that the front is aponeurotic and is not a thinness is incorrect. sent7: if the epaulet does deduce phase then it does not deduce fall and is ugly. sent8: if the epaulet does not deduce fall but it is ugly then the millionairess is not ugly. sent9: the front does not deduce phase if the fact that either the millionairess does deduce phase or it is not a timber or both does not hold. sent10: the retrorocket is not invariable. sent11: the retrorocket is an instruction that does immortalize faithlessness. sent12: that the millionairess does deduce phase but it is not ugly is false if the front is ugly. sent13: if that the front is aponeurotic but it is not a thinness is incorrect then it is ugly. sent14: if something that is a timber is a kind of a Taif the fact that it is not a pushball is not false. sent15: that the mako is not ugly is not incorrect if the front does not deduce phase. sent16: something does deduce phase if it is a timber. ; $proof$ = 
sent13 & sent6 -> int1: the front is ugly.; int1 & sent12 -> int2: the fact that the millionairess does deduce phase and is not ugly is false.; int2 & sent4 -> int3: the millionairess deduces fall.; int3 & sent1 -> int4: the retrorocket is a timber.; sent5 & sent10 -> int5: the retrorocket does immortalize faithlessness and is a kind of a Taif.; int5 -> int6: the retrorocket is a kind of a Taif.; int4 & int6 -> int7: the retrorocket is a kind of a timber and it is a Taif.; sent14 -> int8: the retrorocket is not a kind of a pushball if it is a timber and it is a kind of a Taif.; int7 & int8 -> int9: the retrorocket is not a pushball.; sent3 -> int10: if the retrorocket is not a pushball it is an integral.; int9 & int10 -> hypothesis; __DISPROVED__