the macaque is not a tetrose and/or it does not erase.
sent1: that something is not a tetrose and/or does not erase is incorrect if that it is a disorientation is correct. sent2: if the fact that something is catabolic and does not tarnish middlebrow does not hold then it is not a Vasari. sent3: if something is not spartan the pass-through is not spartan. sent4: that the timucu is not a Vasari is not false if it tarnishes middlebrow. sent5: that the fact that the bobcat is both spartan and cataphatic is incorrect is right if the timucu is not a kind of a Vasari. sent6: the pass-through is not spartan if there exists something such that the fact that it is spartan and it is cataphatic is false. sent7: if the serologist is not a disorientation the cayenne is both topless and a disorientation. sent8: that the timucu is catabolic thing that does not tarnish middlebrow is false. sent9: if the macaque erases then the serologist is not a disorientation. sent10: there is something such that it is a kind of a disorientation. sent11: if something is topless a disorientation the forehead is inarticulate.
void -> assump1: Let's assume that the macaque erases.; sent9 & assump1 -> int1: the serologist is not a kind of a disorientation.; int1 & sent7 -> int2: the cayenne is topless and it is a kind of a disorientation.; int2 -> int3: something is topless and it is a kind of a disorientation.; int3 & sent11 -> int4: the forehead is inarticulate.; sent2 -> int5: if that the timucu is catabolic thing that does not tarnish middlebrow is not true then it is not a kind of a Vasari.; int5 & sent8 -> int6: the timucu is not a Vasari.; sent5 & int6 -> int7: the fact that the bobcat is spartan and it is cataphatic is wrong.; int7 -> int8: there is something such that the fact that it is spartan and it is cataphatic is false.; int8 & sent6 -> int9: the pass-through is not spartan.;
the fact that either the macaque is not a kind of a tetrose or it does not erase or both does not hold.
sent1 -> int10: the fact that the macaque is not a kind of a tetrose and/or it does not erase does not hold if it is a kind of a disorientation.;
$hypothesis$ = the macaque is not a tetrose and/or it does not erase. ; $context$ = sent1: that something is not a tetrose and/or does not erase is incorrect if that it is a disorientation is correct. sent2: if the fact that something is catabolic and does not tarnish middlebrow does not hold then it is not a Vasari. sent3: if something is not spartan the pass-through is not spartan. sent4: that the timucu is not a Vasari is not false if it tarnishes middlebrow. sent5: that the fact that the bobcat is both spartan and cataphatic is incorrect is right if the timucu is not a kind of a Vasari. sent6: the pass-through is not spartan if there exists something such that the fact that it is spartan and it is cataphatic is false. sent7: if the serologist is not a disorientation the cayenne is both topless and a disorientation. sent8: that the timucu is catabolic thing that does not tarnish middlebrow is false. sent9: if the macaque erases then the serologist is not a disorientation. sent10: there is something such that it is a kind of a disorientation. sent11: if something is topless a disorientation the forehead is inarticulate. ; $proof$ = 
void -> assump1: Let's assume that the macaque erases.; sent9 & assump1 -> int1: the serologist is not a kind of a disorientation.; int1 & sent7 -> int2: the cayenne is topless and it is a kind of a disorientation.; int2 -> int3: something is topless and it is a kind of a disorientation.; int3 & sent11 -> int4: the forehead is inarticulate.; sent2 -> int5: if that the timucu is catabolic thing that does not tarnish middlebrow is not true then it is not a kind of a Vasari.; int5 & sent8 -> int6: the timucu is not a Vasari.; sent5 & int6 -> int7: the fact that the bobcat is spartan and it is cataphatic is wrong.; int7 -> int8: there is something such that the fact that it is spartan and it is cataphatic is false.; int8 & sent6 -> int9: the pass-through is not spartan.; __UNKNOWN__