the pink is not a houseplant.
sent1: something that is fugal and/or displays is not a minicab. sent2: the Negress is peaceful if it is not a minicab. sent3: the Negress is a minicab. sent4: the Whig is fugal if the token is a Helotium. sent5: the pink is not a houseplant if the Whig does accord reciprocity and it is fugal. sent6: something is not an emptying if either it is a kind of a display or it does impact or both. sent7: if that the token does not empty is correct it is a isobar. sent8: that if the Negress is not the minicab the Negress empties is not false. sent9: something does not empty if it is an impact. sent10: the token is a kind of a Helotium if it is a isobar. sent11: the token is a kind of a display. sent12: the token is not a houseplant if the Whig is fugal and is a kind of a Helotium. sent13: something is not an impact if it is not a kind of an emptying. sent14: if the token is fugal then the Whig is a Helotium. sent15: the token does not empty if it does impact. sent16: if something is a minicab and/or it is a kind of a isobar it does not accord reciprocity. sent17: something is not an impact if it does accord reciprocity and/or it is a isobar. sent18: the pink is a Helotium. sent19: the Whig accords reciprocity if the fact that the Negress is a minicab hold.
sent11 -> int1: the token is a kind of a display or it impacts or both.; sent6 -> int2: the token is not emptying if it is a display and/or it is an impact.; int1 & int2 -> int3: the token is not a kind of an emptying.; int3 & sent7 -> int4: the token is a isobar.; int4 & sent10 -> int5: the token is a kind of a Helotium.; int5 & sent4 -> int6: the Whig is fugal.; sent19 & sent3 -> int7: the Whig accords reciprocity.; int6 & int7 -> int8: the Whig accords reciprocity and it is fugal.; int8 & sent5 -> hypothesis;
the pink is a houseplant.
sent13 -> int9: if the pink is not emptying then it is not an impact.;
$hypothesis$ = the pink is not a houseplant. ; $context$ = sent1: something that is fugal and/or displays is not a minicab. sent2: the Negress is peaceful if it is not a minicab. sent3: the Negress is a minicab. sent4: the Whig is fugal if the token is a Helotium. sent5: the pink is not a houseplant if the Whig does accord reciprocity and it is fugal. sent6: something is not an emptying if either it is a kind of a display or it does impact or both. sent7: if that the token does not empty is correct it is a isobar. sent8: that if the Negress is not the minicab the Negress empties is not false. sent9: something does not empty if it is an impact. sent10: the token is a kind of a Helotium if it is a isobar. sent11: the token is a kind of a display. sent12: the token is not a houseplant if the Whig is fugal and is a kind of a Helotium. sent13: something is not an impact if it is not a kind of an emptying. sent14: if the token is fugal then the Whig is a Helotium. sent15: the token does not empty if it does impact. sent16: if something is a minicab and/or it is a kind of a isobar it does not accord reciprocity. sent17: something is not an impact if it does accord reciprocity and/or it is a isobar. sent18: the pink is a Helotium. sent19: the Whig accords reciprocity if the fact that the Negress is a minicab hold. ; $proof$ = 
sent11 -> int1: the token is a kind of a display or it impacts or both.; sent6 -> int2: the token is not emptying if it is a display and/or it is an impact.; int1 & int2 -> int3: the token is not a kind of an emptying.; int3 & sent7 -> int4: the token is a isobar.; int4 & sent10 -> int5: the token is a kind of a Helotium.; int5 & sent4 -> int6: the Whig is fugal.; sent19 & sent3 -> int7: the Whig accords reciprocity.; int6 & int7 -> int8: the Whig accords reciprocity and it is fugal.; int8 & sent5 -> hypothesis; __PROVED__