there exists something such that if that it is a fer-de-lance is not incorrect it arms.
sent1: if the heartthrob is a kind of a fer-de-lance it does reissue shiftiness. sent2: if the pennon is not inefficient that it arms and it does not snowball sporocarp is not right. sent3: that something is a fer-de-lance and it does cave does not hold if it does not arm. sent4: the heartthrob is not a grip if it snowballs sporocarp and coils. sent5: the oxalacetate is not a coil. sent6: the runway is both not a Zoroastrian and not non-irrational. sent7: there exists something such that the fact that it is not sociopathic and it is volcanic is incorrect. sent8: the heartthrob is a kind of a coil. sent9: the fact that if there exists something such that that it is a fer-de-lance and is a kind of a cave is not correct then the heartthrob is not a cave is correct. sent10: that something does reissue shiftiness or it does not grip or both does not hold if it is not a kind of a coil. sent11: the hippoboscid is not an armed if there is something such that the fact that it does armed and it does not snowball sporocarp is false. sent12: the heartthrob does snowball sporocarp and it is a kind of a coil. sent13: if there is something such that that it is non-sociopathic thing that is volcanic is false then the pennon is not inefficient.
void -> assump1: Let's assume that the heartthrob is a fer-de-lance.; sent1 & assump1 -> int1: that the heartthrob reissues shiftiness is true.; sent4 & sent12 -> int2: the heartthrob does not grip.; int1 & int2 -> int3: the heartthrob is not a grip but it does reissue shiftiness.;
the heartthrob is both not a cave and a Iraqi.
sent3 -> int4: the fact that the hippoboscid is a fer-de-lance and it does cave is not correct if the fact that it is not an armed hold.; sent7 & sent13 -> int5: the pennon is efficient.; sent2 & int5 -> int6: the fact that the pennon arms but it does not snowball sporocarp is false.; int6 -> int7: there exists something such that the fact that it arms and does not snowball sporocarp is not right.; int7 & sent11 -> int8: the hippoboscid does not arm.; int4 & int8 -> int9: the fact that the hippoboscid is both a fer-de-lance and a cave does not hold.; int9 -> int10: there is something such that that it is a kind of a fer-de-lance and does cave is wrong.; int10 & sent9 -> int11: the heartthrob is not a cave.; sent10 -> int12: the fact that the oxalacetate does reissue shiftiness and/or it does not grip is not true if it is not a coil.; int12 & sent5 -> int13: that either the oxalacetate reissues shiftiness or it does not grip or both is wrong.; int13 -> int14: that there exists something such that that either it reissues shiftiness or it is not a kind of a grip or both is not correct is not false.;
$hypothesis$ = there exists something such that if that it is a fer-de-lance is not incorrect it arms. ; $context$ = sent1: if the heartthrob is a kind of a fer-de-lance it does reissue shiftiness. sent2: if the pennon is not inefficient that it arms and it does not snowball sporocarp is not right. sent3: that something is a fer-de-lance and it does cave does not hold if it does not arm. sent4: the heartthrob is not a grip if it snowballs sporocarp and coils. sent5: the oxalacetate is not a coil. sent6: the runway is both not a Zoroastrian and not non-irrational. sent7: there exists something such that the fact that it is not sociopathic and it is volcanic is incorrect. sent8: the heartthrob is a kind of a coil. sent9: the fact that if there exists something such that that it is a fer-de-lance and is a kind of a cave is not correct then the heartthrob is not a cave is correct. sent10: that something does reissue shiftiness or it does not grip or both does not hold if it is not a kind of a coil. sent11: the hippoboscid is not an armed if there is something such that the fact that it does armed and it does not snowball sporocarp is false. sent12: the heartthrob does snowball sporocarp and it is a kind of a coil. sent13: if there is something such that that it is non-sociopathic thing that is volcanic is false then the pennon is not inefficient. ; $proof$ = 
void -> assump1: Let's assume that the heartthrob is a fer-de-lance.; sent1 & assump1 -> int1: that the heartthrob reissues shiftiness is true.; sent4 & sent12 -> int2: the heartthrob does not grip.; int1 & int2 -> int3: the heartthrob is not a grip but it does reissue shiftiness.; __UNKNOWN__