there is something such that it does not wrestle argillite.
sent1: that the setterwort does stint Camlan and is an avatar is not right. sent2: if the setterwort does stint ammobium then the fact that it does stint Camlan and is an avatar is false. sent3: if the tollkeeper stints tollkeeper the fact that it is not a kind of a grabber and groups is incorrect. sent4: if that that the setterwort does not stint Camlan but it is an avatar hold is not correct then the marrowbone does not stint tollkeeper. sent5: the fact that the tollkeeper does not wrestle vascularization and is an avatar is incorrect if it is a grabber. sent6: if the setterwort does stint ammobium then the fact that it does not stint Camlan and is an avatar is false. sent7: the quickener does not group. sent8: if that the tollkeeper is not a grabber hold the argillite does not wrestle argillite. sent9: if the marrowbone does not stint tollkeeper the quickener does not group. sent10: something wrestles argillite. sent11: the marrowbone does not stint tollkeeper if the setterwort stints Camlan. sent12: the setterwort stints ammobium. sent13: if the marrowbone does not stint tollkeeper the quickener wrestles vascularization and is not a kind of a grouping. sent14: the tollkeeper is not a kind of a grabber if the quickener wrestles vascularization and is not a grouping. sent15: The ammobium stints setterwort.
sent6 & sent12 -> int1: that the setterwort does not stint Camlan but it is an avatar is incorrect.; sent4 & int1 -> int2: the marrowbone does not stint tollkeeper.; sent13 & int2 -> int3: the quickener does wrestle vascularization but it is not a grouping.; sent14 & int3 -> int4: that the tollkeeper is not a grabber is true.; sent8 & int4 -> int5: the argillite does not wrestle argillite.; int5 -> hypothesis;
$hypothesis$ = there is something such that it does not wrestle argillite. ; $context$ = sent1: that the setterwort does stint Camlan and is an avatar is not right. sent2: if the setterwort does stint ammobium then the fact that it does stint Camlan and is an avatar is false. sent3: if the tollkeeper stints tollkeeper the fact that it is not a kind of a grabber and groups is incorrect. sent4: if that that the setterwort does not stint Camlan but it is an avatar hold is not correct then the marrowbone does not stint tollkeeper. sent5: the fact that the tollkeeper does not wrestle vascularization and is an avatar is incorrect if it is a grabber. sent6: if the setterwort does stint ammobium then the fact that it does not stint Camlan and is an avatar is false. sent7: the quickener does not group. sent8: if that the tollkeeper is not a grabber hold the argillite does not wrestle argillite. sent9: if the marrowbone does not stint tollkeeper the quickener does not group. sent10: something wrestles argillite. sent11: the marrowbone does not stint tollkeeper if the setterwort stints Camlan. sent12: the setterwort stints ammobium. sent13: if the marrowbone does not stint tollkeeper the quickener wrestles vascularization and is not a kind of a grouping. sent14: the tollkeeper is not a kind of a grabber if the quickener wrestles vascularization and is not a grouping. sent15: The ammobium stints setterwort. ; $proof$ = 
sent6 & sent12 -> int1: that the setterwort does not stint Camlan but it is an avatar is incorrect.; sent4 & int1 -> int2: the marrowbone does not stint tollkeeper.; sent13 & int2 -> int3: the quickener does wrestle vascularization but it is not a grouping.; sent14 & int3 -> int4: that the tollkeeper is not a grabber is true.; sent8 & int4 -> int5: the argillite does not wrestle argillite.; int5 -> hypothesis; __PROVED__