that the lizard is a peafowl and/or does act vigilantism is not true.
sent1: the atmosphere is a peafowl if the fact that the lizard is not unprophetic and it is not a peafowl is wrong. sent2: that the tendency is a kind of a peafowl and/or is long-chain is correct. sent3: if the alligator is a finance the index is a dilatation. sent4: if the index is a kind of a dilatation then it condoles hyperventilation. sent5: that something does not act recompense and is a capillary is not right if it is fraternal. sent6: the fact that the hyperventilation is not pronounceable is not incorrect. sent7: the index does not condole hyperventilation and is not a dilatation. sent8: the fact that something is a kind of prophetic thing that is not a peafowl is not right if it does not act vigilantism. sent9: if something that does not condole hyperventilation is not a kind of a dilatation then the CFO does concern Bombycidae. sent10: the krummhorn does act vigilantism and it is a kind of a manageability. sent11: if the CFO acts recompense then the columbo does acts recompense. sent12: if the fact that something concerns Bombycidae and is not fraternal is false then it acts recompense. sent13: the fact that the lizard is not prophetic is true. sent14: the columbo is fraternal if something does concern Bombycidae. sent15: if the fact that the columbo acts recompense is correct it is prophetic and not capillary. sent16: the lizard is a peafowl that is unprophetic. sent17: the lizard is a kind of an acute and it is unprophetic. sent18: either the alligator is a kind of a finance or it is a dilatation or both if the hyperventilation is not pronounceable.
sent16 -> int1: the lizard is a kind of a peafowl.; int1 -> hypothesis;
the atmosphere is a kind of a peafowl.
sent8 -> int2: the fact that the lizard is not unprophetic and is not a kind of a peafowl is not right if it does not act vigilantism.; sent5 -> int3: that the columbo does not act recompense but it is a kind of a capillary does not hold if it is fraternal.; sent7 -> int4: something does not condole hyperventilation and it is not a dilatation.; int4 & sent9 -> int5: the CFO does concern Bombycidae.; int5 -> int6: there exists something such that that it does concern Bombycidae is not incorrect.; int6 & sent14 -> int7: the columbo is fraternal.; int3 & int7 -> int8: that the columbo does not act recompense but it is a capillary is not true.; int8 -> int9: that there is something such that that it does not act recompense and it is not non-capillary is false hold.;
$hypothesis$ = that the lizard is a peafowl and/or does act vigilantism is not true. ; $context$ = sent1: the atmosphere is a peafowl if the fact that the lizard is not unprophetic and it is not a peafowl is wrong. sent2: that the tendency is a kind of a peafowl and/or is long-chain is correct. sent3: if the alligator is a finance the index is a dilatation. sent4: if the index is a kind of a dilatation then it condoles hyperventilation. sent5: that something does not act recompense and is a capillary is not right if it is fraternal. sent6: the fact that the hyperventilation is not pronounceable is not incorrect. sent7: the index does not condole hyperventilation and is not a dilatation. sent8: the fact that something is a kind of prophetic thing that is not a peafowl is not right if it does not act vigilantism. sent9: if something that does not condole hyperventilation is not a kind of a dilatation then the CFO does concern Bombycidae. sent10: the krummhorn does act vigilantism and it is a kind of a manageability. sent11: if the CFO acts recompense then the columbo does acts recompense. sent12: if the fact that something concerns Bombycidae and is not fraternal is false then it acts recompense. sent13: the fact that the lizard is not prophetic is true. sent14: the columbo is fraternal if something does concern Bombycidae. sent15: if the fact that the columbo acts recompense is correct it is prophetic and not capillary. sent16: the lizard is a peafowl that is unprophetic. sent17: the lizard is a kind of an acute and it is unprophetic. sent18: either the alligator is a kind of a finance or it is a dilatation or both if the hyperventilation is not pronounceable. ; $proof$ = 
sent16 -> int1: the lizard is a kind of a peafowl.; int1 -> hypothesis; __DISPROVED__