the fact that there exists something such that if it does bluff it is not a barye is not correct.
sent1: the mako is not ventricular. sent2: the triazine is ventricular and it is a kind of a Sombrero. sent3: the mako is a kind of non-ventricular thing that is nonsteroidal if the snowfield is not nonsteroidal. sent4: something is not a barye if the fact that it bluffs and it does dissemble pyrophyllite is true. sent5: the snowfield is not nonsteroidal if the triazine is a kind of polymorphic thing that does not effect articulation. sent6: the triazine is not a barye if the mako is polymorphic and it is nonsteroidal. sent7: the mako is a kind of a barye. sent8: the snowfield is not unholy. sent9: something is a kind of a barye if it is a bluff and it dissembles pyrophyllite. sent10: if the triazine is both polymorphic and nonsteroidal then it is not a kind of a bluff. sent11: the akaryocyte is nonsteroidal. sent12: the mako is a barye if it does bluff. sent13: something is unholy if it is both not ventricular and nonsteroidal. sent14: if something is unholy then it does dissemble pyrophyllite. sent15: the triazine is polymorphic and does not effect articulation.
sent5 & sent15 -> int1: the snowfield is not nonsteroidal.; int1 & sent3 -> int2: the mako is not ventricular but it is nonsteroidal.; sent13 -> int3: if the mako is not ventricular but nonsteroidal then it is unholy.; int2 & int3 -> int4: the mako is unholy.; sent14 -> int5: if that the mako is not unholy is false then it dissembles pyrophyllite.; int4 & int5 -> int6: the mako does dissemble pyrophyllite.; void -> assump1: Let's assume that the mako bluffs.; int6 & assump1 -> int7: the mako is a bluff and does dissemble pyrophyllite.; sent4 -> int8: if the mako is a bluff and it does dissemble pyrophyllite it is not a barye.; int7 & int8 -> int9: the mako is not a barye.; [assump1] & int9 -> int10: if the mako bluffs then it is not a barye.; int10 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does bluff it is not a barye is not correct. ; $context$ = sent1: the mako is not ventricular. sent2: the triazine is ventricular and it is a kind of a Sombrero. sent3: the mako is a kind of non-ventricular thing that is nonsteroidal if the snowfield is not nonsteroidal. sent4: something is not a barye if the fact that it bluffs and it does dissemble pyrophyllite is true. sent5: the snowfield is not nonsteroidal if the triazine is a kind of polymorphic thing that does not effect articulation. sent6: the triazine is not a barye if the mako is polymorphic and it is nonsteroidal. sent7: the mako is a kind of a barye. sent8: the snowfield is not unholy. sent9: something is a kind of a barye if it is a bluff and it dissembles pyrophyllite. sent10: if the triazine is both polymorphic and nonsteroidal then it is not a kind of a bluff. sent11: the akaryocyte is nonsteroidal. sent12: the mako is a barye if it does bluff. sent13: something is unholy if it is both not ventricular and nonsteroidal. sent14: if something is unholy then it does dissemble pyrophyllite. sent15: the triazine is polymorphic and does not effect articulation. ; $proof$ = 
sent5 & sent15 -> int1: the snowfield is not nonsteroidal.; int1 & sent3 -> int2: the mako is not ventricular but it is nonsteroidal.; sent13 -> int3: if the mako is not ventricular but nonsteroidal then it is unholy.; int2 & int3 -> int4: the mako is unholy.; sent14 -> int5: if that the mako is not unholy is false then it dissembles pyrophyllite.; int4 & int5 -> int6: the mako does dissemble pyrophyllite.; void -> assump1: Let's assume that the mako bluffs.; int6 & assump1 -> int7: the mako is a bluff and does dissemble pyrophyllite.; sent4 -> int8: if the mako is a bluff and it does dissemble pyrophyllite it is not a barye.; int7 & int8 -> int9: the mako is not a barye.; [assump1] & int9 -> int10: if the mako bluffs then it is not a barye.; int10 -> hypothesis; __DISPROVED__