the MVP is not a coastline.
sent1: if that the brit is an arbiter but it is not a Benton is false then the hipline is not an arbiter. sent2: the fact that the hipline is tuberculate and it is Gandhian does not hold. sent3: if the MVP is not a coastline it butts ranking and is a Cardamine. sent4: that the chapman is an arbiter is not incorrect if the fact that the MVP is a kind of non-cubic thing that is not a kind of a Benton is not false. sent5: if the fact that the MVP is not cubic but tuberculate is incorrect the fact that it is a Benton is false. sent6: the fact that the brit is an arbiter but it is not a Benton is not right. sent7: something is a coastline if it is an arbiter. sent8: the hipline is an arbiter if the MVP butts ranking. sent9: the fact that something is a Springfield but it does not protuberate does not hold if it is a coastline. sent10: the MVP is a Cardamine. sent11: the brit is a kind of a Cardamine and is a Benton if it does not butt ranking. sent12: that the hipline is not a kind of an arbiter hold if the brit is not an arbiter. sent13: if the MVP is not a coastline it is a Cardamine. sent14: if that something is an arbiter and is a coastline does not hold then it is not a coastline. sent15: the hipline does butt craziness and is mucosal.
void -> assump1: Let's assume that the fact that the MVP is not a coastline is right.; sent3 & assump1 -> int1: the MVP does butt ranking and is a Cardamine.; int1 -> int2: the MVP does butt ranking.; int2 & sent8 -> int3: the hipline is a kind of an arbiter.; sent1 & sent6 -> int4: the hipline is not an arbiter.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
that that the chapman is a Springfield but it does not protuberate is false is not incorrect.
sent9 -> int6: if the chapman is a coastline that it is a Springfield and it does not protuberate is not right.; sent7 -> int7: the chapman is a kind of a coastline if it is an arbiter.; sent2 -> int8: there is something such that that it is tuberculate and it is Gandhian is not true.;
$hypothesis$ = the MVP is not a coastline. ; $context$ = sent1: if that the brit is an arbiter but it is not a Benton is false then the hipline is not an arbiter. sent2: the fact that the hipline is tuberculate and it is Gandhian does not hold. sent3: if the MVP is not a coastline it butts ranking and is a Cardamine. sent4: that the chapman is an arbiter is not incorrect if the fact that the MVP is a kind of non-cubic thing that is not a kind of a Benton is not false. sent5: if the fact that the MVP is not cubic but tuberculate is incorrect the fact that it is a Benton is false. sent6: the fact that the brit is an arbiter but it is not a Benton is not right. sent7: something is a coastline if it is an arbiter. sent8: the hipline is an arbiter if the MVP butts ranking. sent9: the fact that something is a Springfield but it does not protuberate does not hold if it is a coastline. sent10: the MVP is a Cardamine. sent11: the brit is a kind of a Cardamine and is a Benton if it does not butt ranking. sent12: that the hipline is not a kind of an arbiter hold if the brit is not an arbiter. sent13: if the MVP is not a coastline it is a Cardamine. sent14: if that something is an arbiter and is a coastline does not hold then it is not a coastline. sent15: the hipline does butt craziness and is mucosal. ; $proof$ = 
void -> assump1: Let's assume that the fact that the MVP is not a coastline is right.; sent3 & assump1 -> int1: the MVP does butt ranking and is a Cardamine.; int1 -> int2: the MVP does butt ranking.; int2 & sent8 -> int3: the hipline is a kind of an arbiter.; sent1 & sent6 -> int4: the hipline is not an arbiter.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__