the commoner is kinetic.
sent1: if something does cup then the fact that it is a decolletage and is kinetic is incorrect. sent2: the rubefacient is kinetic if the Sassenach is not kinetic and is not tuberculate. sent3: the singleton is lipless if it is not a low. sent4: if that the singleton is both a cup and not a decolletage is not true then the commoner is not lipless. sent5: if the commoner is cecal the andradite is cecal. sent6: if something is kinetic then the fact that it is lipless and it is a magneton is wrong. sent7: the fact that the commoner is kinetic thing that is a magneton is wrong. sent8: if something is a magneton then that it is a cup that is not kinetic is not right. sent9: that the Sassenach is not cecal and not tuberculate hold if that it is not mitotic is not true. sent10: if something is a magneton then that the fact that it is a cup but not a decolletage is correct is incorrect. sent11: the fact that the singleton is a cup and is a decolletage does not hold. sent12: if the commoner is not lipless then it is kinetic and it is not non-cecal. sent13: the singleton is kinetic. sent14: if the fact that the Sassenach is not mitotic is true it is not kinetic and not tuberculate. sent15: the singleton is a kind of a magneton. sent16: the fact that the commoner is kinetic and is a cup is incorrect.
sent10 -> int1: that the singleton is a cup but it is not a decolletage is not true if it is a magneton.; int1 & sent15 -> int2: that the singleton cups but it is not a decolletage is false.; int2 & sent4 -> int3: the commoner is not lipless.; int3 & sent12 -> int4: the commoner is both kinetic and cecal.; int4 -> hypothesis;
the commoner is not kinetic.
$hypothesis$ = the commoner is kinetic. ; $context$ = sent1: if something does cup then the fact that it is a decolletage and is kinetic is incorrect. sent2: the rubefacient is kinetic if the Sassenach is not kinetic and is not tuberculate. sent3: the singleton is lipless if it is not a low. sent4: if that the singleton is both a cup and not a decolletage is not true then the commoner is not lipless. sent5: if the commoner is cecal the andradite is cecal. sent6: if something is kinetic then the fact that it is lipless and it is a magneton is wrong. sent7: the fact that the commoner is kinetic thing that is a magneton is wrong. sent8: if something is a magneton then that it is a cup that is not kinetic is not right. sent9: that the Sassenach is not cecal and not tuberculate hold if that it is not mitotic is not true. sent10: if something is a magneton then that the fact that it is a cup but not a decolletage is correct is incorrect. sent11: the fact that the singleton is a cup and is a decolletage does not hold. sent12: if the commoner is not lipless then it is kinetic and it is not non-cecal. sent13: the singleton is kinetic. sent14: if the fact that the Sassenach is not mitotic is true it is not kinetic and not tuberculate. sent15: the singleton is a kind of a magneton. sent16: the fact that the commoner is kinetic and is a cup is incorrect. ; $proof$ = 
sent10 -> int1: that the singleton is a cup but it is not a decolletage is not true if it is a magneton.; int1 & sent15 -> int2: that the singleton cups but it is not a decolletage is false.; int2 & sent4 -> int3: the commoner is not lipless.; int3 & sent12 -> int4: the commoner is both kinetic and cecal.; int4 -> hypothesis; __PROVED__