the salmonberry is not phonogramic.
sent1: the salmonberry is a savarin if the farmhouse is not reliable. sent2: that the fact that the farmhouse is not unworldly is not wrong if that the salmonberry is not hypertonic and is unworldly is false is correct. sent3: the salmonberry is a savarin. sent4: if the farmhouse is not a kind of a Mahler it is not a Aconcagua and/or it does rig farmhouse. sent5: the farmhouse rigs farmhouse if it either is not a Aconcagua or does rigs farmhouse or both. sent6: something is phonogramic and/or it is not a trundle if it is not unworldly. sent7: the salmonberry is not a kind of a trundle. sent8: if the farmhouse is not reliable then the salmonberry is a savarin but it is not reliable. sent9: the chyle is not a kind of a vesicant if that it is not unsteady and it is not an axon is false. sent10: the farmhouse is not a Mahler. sent11: the fact that something is not a kind of a trundle but it is unworldly is not true if it is hypertonic. sent12: the salmonberry is not datable if that it is not a gamebag and it is not a kind of a savarin does not hold. sent13: the farmhouse is unworldly. sent14: the salmonberry is not paroxysmal. sent15: the farmhouse is unworldly and it does trundle. sent16: if something is a savarin but it is not reliable then it is not phonogramic. sent17: something is a kind of a savarin if the fact that it is not a trundle and is unworldly is not true. sent18: that the farmhouse is both a rumen and unreliable is not right. sent19: the fact that the farmhouse is not a rumen but reliable is wrong.
void -> assump1: Let's assume that that the farmhouse is not a rumen and it is not reliable does not hold.; sent15 -> int1: the farmhouse does trundle.; sent16 -> int2: the salmonberry is not phonogramic if it is a kind of a savarin that is not reliable.;
the salmonberry is phonogramic.
sent17 -> int3: if that the salmonberry is not a trundle but unworldly is false then it is a savarin.; sent11 -> int4: if the salmonberry is hypertonic that it is not a trundle but unworldly is not correct.; sent4 & sent10 -> int5: the farmhouse is not a Aconcagua or it does rig farmhouse or both.; sent5 & int5 -> int6: the farmhouse rigs farmhouse.; int6 -> int7: there is something such that it does rig farmhouse.;
$hypothesis$ = the salmonberry is not phonogramic. ; $context$ = sent1: the salmonberry is a savarin if the farmhouse is not reliable. sent2: that the fact that the farmhouse is not unworldly is not wrong if that the salmonberry is not hypertonic and is unworldly is false is correct. sent3: the salmonberry is a savarin. sent4: if the farmhouse is not a kind of a Mahler it is not a Aconcagua and/or it does rig farmhouse. sent5: the farmhouse rigs farmhouse if it either is not a Aconcagua or does rigs farmhouse or both. sent6: something is phonogramic and/or it is not a trundle if it is not unworldly. sent7: the salmonberry is not a kind of a trundle. sent8: if the farmhouse is not reliable then the salmonberry is a savarin but it is not reliable. sent9: the chyle is not a kind of a vesicant if that it is not unsteady and it is not an axon is false. sent10: the farmhouse is not a Mahler. sent11: the fact that something is not a kind of a trundle but it is unworldly is not true if it is hypertonic. sent12: the salmonberry is not datable if that it is not a gamebag and it is not a kind of a savarin does not hold. sent13: the farmhouse is unworldly. sent14: the salmonberry is not paroxysmal. sent15: the farmhouse is unworldly and it does trundle. sent16: if something is a savarin but it is not reliable then it is not phonogramic. sent17: something is a kind of a savarin if the fact that it is not a trundle and is unworldly is not true. sent18: that the farmhouse is both a rumen and unreliable is not right. sent19: the fact that the farmhouse is not a rumen but reliable is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the farmhouse is not a rumen and it is not reliable does not hold.; sent15 -> int1: the farmhouse does trundle.; sent16 -> int2: the salmonberry is not phonogramic if it is a kind of a savarin that is not reliable.; __UNKNOWN__