something is not automotive.
sent1: if the fact that that something is not a kind of a auricula and it does not demote camachile hold is not correct it is not automotive. sent2: something does descend. sent3: that the fact that the Congolese is a kind of a auricula that does not demote camachile is true is not correct. sent4: if the brace is not attitudinal and does not descend then it does not master MVP. sent5: the lota does not perfume lota if that it is not a redtail and does demote camachile is not wrong. sent6: the Congolese is not unstable if it is not a kind of a auricula and does not demote camachile. sent7: something is not a auricula if the fact that it is both not automotive and unstable does not hold. sent8: the Congolese descends and it is unstable.
void -> assump1: Let's assume that the Congolese is not a kind of a auricula and it does not demote camachile.; sent6 & assump1 -> int1: that the Congolese is not unstable is correct.; sent8 -> int2: the Congolese is unstable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Congolese is not a auricula and does not demote camachile is wrong.; sent1 -> int5: the Congolese is non-automotive if the fact that it is not a kind of a auricula and it does not demote camachile is not right.; int4 & int5 -> int6: the Congolese is not automotive.; int6 -> hypothesis;
the marzipan is not a auricula.
sent7 -> int7: if the fact that the marzipan is both not automotive and unstable is not true then the fact that it is not a auricula is not incorrect.;
$hypothesis$ = something is not automotive. ; $context$ = sent1: if the fact that that something is not a kind of a auricula and it does not demote camachile hold is not correct it is not automotive. sent2: something does descend. sent3: that the fact that the Congolese is a kind of a auricula that does not demote camachile is true is not correct. sent4: if the brace is not attitudinal and does not descend then it does not master MVP. sent5: the lota does not perfume lota if that it is not a redtail and does demote camachile is not wrong. sent6: the Congolese is not unstable if it is not a kind of a auricula and does not demote camachile. sent7: something is not a auricula if the fact that it is both not automotive and unstable does not hold. sent8: the Congolese descends and it is unstable. ; $proof$ = 
void -> assump1: Let's assume that the Congolese is not a kind of a auricula and it does not demote camachile.; sent6 & assump1 -> int1: that the Congolese is not unstable is correct.; sent8 -> int2: the Congolese is unstable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Congolese is not a auricula and does not demote camachile is wrong.; sent1 -> int5: the Congolese is non-automotive if the fact that it is not a kind of a auricula and it does not demote camachile is not right.; int4 & int5 -> int6: the Congolese is not automotive.; int6 -> hypothesis; __PROVED__