the fact that the shingling is both not a cladode and not a brushwork is not true.
sent1: the numberplate is not a kind of a larvacean if there is something such that that it is non-air-to-air thing that is not a kind of a snickersnee is wrong. sent2: that the shingling is not a cladode and it is not a brushwork does not hold if the mew is not a Nymphicus. sent3: that the mew is not a stardust is true if it is not air-to-air and is a snickersnee. sent4: if something is not a larvacean it is not a cladode and it is not a brushwork. sent5: if something burps and it is splashy then it is not a Nymphicus. sent6: the numberplate does not stroll and is not a algin. sent7: the shingling does burp. sent8: there exists something such that the fact that it is a brushwork and it is not a kind of a Nymphicus is not correct. sent9: the fact that the mew is not a larvacean but splashy is not true if the numberplate is not a kind of a stardust. sent10: if something that is not air-to-air is not a snickersnee that it is not a stardust is not incorrect. sent11: something is not splashy and it is not a stardust. sent12: the numberplate is a larvacean and it is splashy. sent13: that something is a stardust and it is a kind of a larvacean is not right if it is not a Nymphicus. sent14: there exists something such that that it is not a cladode and it is a kind of a Nymphicus is false.
void -> assump1: Let's assume that the fact that the mew is not air-to-air and it is not a snickersnee does not hold.; assump1 -> int1: there is something such that that it is non-air-to-air thing that is not a kind of a snickersnee is false.; int1 & sent1 -> int2: the numberplate is not a larvacean.; sent12 -> int3: the numberplate is a kind of a larvacean.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mew is a kind of non-air-to-air thing that is not a snickersnee.; sent10 -> int6: if the mew is non-air-to-air and is not a snickersnee that it is not a stardust hold.; int5 & int6 -> int7: the mew is not a stardust.;
the shingling is not a cladode and it is not a kind of a brushwork.
sent4 -> int8: the shingling is not a cladode and not a brushwork if it is not a larvacean.; sent13 -> int9: that the shingling is a stardust and is a kind of a larvacean is incorrect if it is not a Nymphicus.; sent5 -> int10: the shingling is not a Nymphicus if it does burp and is splashy.;
$hypothesis$ = the fact that the shingling is both not a cladode and not a brushwork is not true. ; $context$ = sent1: the numberplate is not a kind of a larvacean if there is something such that that it is non-air-to-air thing that is not a kind of a snickersnee is wrong. sent2: that the shingling is not a cladode and it is not a brushwork does not hold if the mew is not a Nymphicus. sent3: that the mew is not a stardust is true if it is not air-to-air and is a snickersnee. sent4: if something is not a larvacean it is not a cladode and it is not a brushwork. sent5: if something burps and it is splashy then it is not a Nymphicus. sent6: the numberplate does not stroll and is not a algin. sent7: the shingling does burp. sent8: there exists something such that the fact that it is a brushwork and it is not a kind of a Nymphicus is not correct. sent9: the fact that the mew is not a larvacean but splashy is not true if the numberplate is not a kind of a stardust. sent10: if something that is not air-to-air is not a snickersnee that it is not a stardust is not incorrect. sent11: something is not splashy and it is not a stardust. sent12: the numberplate is a larvacean and it is splashy. sent13: that something is a stardust and it is a kind of a larvacean is not right if it is not a Nymphicus. sent14: there exists something such that that it is not a cladode and it is a kind of a Nymphicus is false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the mew is not air-to-air and it is not a snickersnee does not hold.; assump1 -> int1: there is something such that that it is non-air-to-air thing that is not a kind of a snickersnee is false.; int1 & sent1 -> int2: the numberplate is not a larvacean.; sent12 -> int3: the numberplate is a kind of a larvacean.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mew is a kind of non-air-to-air thing that is not a snickersnee.; sent10 -> int6: if the mew is non-air-to-air and is not a snickersnee that it is not a stardust hold.; int5 & int6 -> int7: the mew is not a stardust.; __UNKNOWN__