the depressive does Simonize berkelium.
sent1: the bowls is not dramatic if it is not knowable. sent2: The verst does lunch Paiute. sent3: there exists something such that it does lunch verst. sent4: there are non-dramatic things. sent5: the Paiute does lunch verst. sent6: something is a mysticism. sent7: something is dramatic and it is a kind of a mysticism. sent8: something is not dramatic and is a kind of a mysticism if it is not knowable. sent9: something is not a whirler and patinates if it does not lunch verst. sent10: the bowls is not dramatic. sent11: there is something such that it is a kind of a cryosurgery. sent12: the Paiute is a kind of a cryosurgery. sent13: the depressive does not Simonize berkelium if there exists something such that it is non-dramatic thing that is a mysticism. sent14: if there is something such that it does lunch verst and is a cryosurgery then the bowls is not knowable.
sent5 & sent12 -> int1: the Paiute lunches verst and it is a cryosurgery.; int1 -> int2: something lunches verst and is a cryosurgery.; int2 & sent14 -> int3: the bowls is not knowable.; sent8 -> int4: the bowls is not dramatic but it is a mysticism if it is not knowable.; int3 & int4 -> int5: the bowls is undramatic thing that is a mysticism.; int5 -> int6: something is undramatic a mysticism.; int6 & sent13 -> hypothesis;
the velociraptor is not a whirler and patinates.
sent9 -> int7: if the velociraptor does not lunch verst it is not a whirler and it does patinate.;
$hypothesis$ = the depressive does Simonize berkelium. ; $context$ = sent1: the bowls is not dramatic if it is not knowable. sent2: The verst does lunch Paiute. sent3: there exists something such that it does lunch verst. sent4: there are non-dramatic things. sent5: the Paiute does lunch verst. sent6: something is a mysticism. sent7: something is dramatic and it is a kind of a mysticism. sent8: something is not dramatic and is a kind of a mysticism if it is not knowable. sent9: something is not a whirler and patinates if it does not lunch verst. sent10: the bowls is not dramatic. sent11: there is something such that it is a kind of a cryosurgery. sent12: the Paiute is a kind of a cryosurgery. sent13: the depressive does not Simonize berkelium if there exists something such that it is non-dramatic thing that is a mysticism. sent14: if there is something such that it does lunch verst and is a cryosurgery then the bowls is not knowable. ; $proof$ = 
sent5 & sent12 -> int1: the Paiute lunches verst and it is a cryosurgery.; int1 -> int2: something lunches verst and is a cryosurgery.; int2 & sent14 -> int3: the bowls is not knowable.; sent8 -> int4: the bowls is not dramatic but it is a mysticism if it is not knowable.; int3 & int4 -> int5: the bowls is undramatic thing that is a mysticism.; int5 -> int6: something is undramatic a mysticism.; int6 & sent13 -> hypothesis; __DISPROVED__