the Boulder is not a resin.
sent1: there exists something such that the fact that it is unpopular hold. sent2: the aardvark does not breakfast Moselle but it is a resin. sent3: if something is off it is a doppelganger. sent4: if the fact that the phone is not a kind of an altar but it is a resin is not correct the fact that the Boulder is a resin is true. sent5: if something does accept drinking it is not a doppelganger and it is a resin. sent6: the Boulder does not accept drinking but it is a zoolatry. sent7: the Boulder does not accept drinking but it is a doppelganger. sent8: if the fact that the phone does not accept drinking is right then the fact that the Boulder is off is correct. sent9: something is not off but it is a kind of a resin if the fact that it does accept drinking is correct. sent10: there is something such that it is an altar. sent11: if the Boulder is not a kind of an altar then the phone is a resin. sent12: the phone is not a doppelganger. sent13: the Boulder is a kind of a doppelganger if it is off. sent14: the fact that the Boulder is a doppelganger hold. sent15: something is not a resin but a doppelganger if it is off. sent16: something is not a Hippoboscidae but it accepts Beaverbrook if it coheres. sent17: the phone is unpopular.
sent15 -> int1: the Boulder is both not a resin and a doppelganger if it is off.;
the Boulder is a resin.
$hypothesis$ = the Boulder is not a resin. ; $context$ = sent1: there exists something such that the fact that it is unpopular hold. sent2: the aardvark does not breakfast Moselle but it is a resin. sent3: if something is off it is a doppelganger. sent4: if the fact that the phone is not a kind of an altar but it is a resin is not correct the fact that the Boulder is a resin is true. sent5: if something does accept drinking it is not a doppelganger and it is a resin. sent6: the Boulder does not accept drinking but it is a zoolatry. sent7: the Boulder does not accept drinking but it is a doppelganger. sent8: if the fact that the phone does not accept drinking is right then the fact that the Boulder is off is correct. sent9: something is not off but it is a kind of a resin if the fact that it does accept drinking is correct. sent10: there is something such that it is an altar. sent11: if the Boulder is not a kind of an altar then the phone is a resin. sent12: the phone is not a doppelganger. sent13: the Boulder is a kind of a doppelganger if it is off. sent14: the fact that the Boulder is a doppelganger hold. sent15: something is not a resin but a doppelganger if it is off. sent16: something is not a Hippoboscidae but it accepts Beaverbrook if it coheres. sent17: the phone is unpopular. ; $proof$ = 
sent15 -> int1: the Boulder is both not a resin and a doppelganger if it is off.; __UNKNOWN__