that the taco is a scullion but it is not brotherly is false.
sent1: if the fact that the taco is a scullion and it is brotherly is not false it is not effortful. sent2: everything does canvas. sent3: if there is something such that it is not effortful and it is not a deliveryman then the taco does not true. sent4: the taco is effortful. sent5: if that something does canvas but it is not unpaintable is not right then it is unpaintable. sent6: if something is not paintable then it is non-effortful and it is not a kind of a deliveryman. sent7: something is a deliveryman and is effortful if it is not unpaintable. sent8: that the taco is not brotherly is correct. sent9: the fact that something is both a canvas and not unpaintable is false if it is a kind of a coating. sent10: the fact that something is not a coating but it is unpaintable is not right if the fact that it is a canvas is not incorrect. sent11: the fact that the taco is a scullion and it is brotherly is not true. sent12: the vice-regent does coat and it clinches globeflower. sent13: the taco does not overbear if it does clinch globeflower and it is not a barb. sent14: if something is not a kind of a true then that the ringleader is true and not minor is wrong.
that the ringleader is a kind of a true and is not minor is not true.
sent6 -> int1: the vice-regent is not effortful and it is not a deliveryman if it is unpaintable.; sent5 -> int2: if that the vice-regent is both a canvas and not unpaintable does not hold it is unpaintable.; sent9 -> int3: the fact that the vice-regent does canvas and is not unpaintable is incorrect if it does coat.; sent12 -> int4: the vice-regent does coat.; int3 & int4 -> int5: the fact that the fact that the vice-regent does canvas but it is not unpaintable is not false is not true.; int2 & int5 -> int6: the vice-regent is unpaintable.; int1 & int6 -> int7: the vice-regent is not effortful and it is not a deliveryman.; int7 -> int8: there exists something such that it is not effortful and it is not a kind of a deliveryman.; int8 & sent3 -> int9: the taco does not true.; int9 -> int10: something does not true.; int10 & sent14 -> hypothesis;
$hypothesis$ = that the taco is a scullion but it is not brotherly is false. ; $context$ = sent1: if the fact that the taco is a scullion and it is brotherly is not false it is not effortful. sent2: everything does canvas. sent3: if there is something such that it is not effortful and it is not a deliveryman then the taco does not true. sent4: the taco is effortful. sent5: if that something does canvas but it is not unpaintable is not right then it is unpaintable. sent6: if something is not paintable then it is non-effortful and it is not a kind of a deliveryman. sent7: something is a deliveryman and is effortful if it is not unpaintable. sent8: that the taco is not brotherly is correct. sent9: the fact that something is both a canvas and not unpaintable is false if it is a kind of a coating. sent10: the fact that something is not a coating but it is unpaintable is not right if the fact that it is a canvas is not incorrect. sent11: the fact that the taco is a scullion and it is brotherly is not true. sent12: the vice-regent does coat and it clinches globeflower. sent13: the taco does not overbear if it does clinch globeflower and it is not a barb. sent14: if something is not a kind of a true then that the ringleader is true and not minor is wrong. ; $proof$ = 
__UNKNOWN__