that the stooper is not a kind of a kweek is true.
sent1: the salutatorian briefs ruse if the fact that the natterjack is not a Titan but a chimaera does not hold. sent2: the fact that the natterjack is a Titan that is a kind of a chimaera does not hold. sent3: the massicot is not a turbine if it is not a kind of a Swiss. sent4: the massicot is not a Swiss. sent5: if the salutatorian briefs ruse the stooper is bony but it is not a Bourse. sent6: if the massicot does parole and it is a requiescat the cards is not a chimaera. sent7: the cards is not a kind of a chimaera if the massicot does parole but it is not a requiescat. sent8: if there is something such that it is a kweek then either the massicot is a turbine or it is a kweek or both. sent9: if that something is not a turbine is right then it is not a requiescat. sent10: the stooper is a kind of a kweek if the fact that the massicot is a kind of a kweek is true. sent11: that the natterjack is not a Titan but it is a chimaera is incorrect if the fact that the cards is not a kind of a chimaera is right. sent12: if the natterjack is a chimaera and a kweek then it is not a kind of a Swiss. sent13: something paroles and is not a requiescat if it is not a kind of a turbine. sent14: if something that is bony is not a Bourse it is not a kweek. sent15: something that is a Swiss is both a chanter and not a splat. sent16: the natterjack is a kind of a requiescat but it is not a Swiss if the salutatorian is a parole.
sent3 & sent4 -> int1: the massicot is not a turbine.; sent13 -> int2: the massicot is a parole but not a requiescat if it is not a turbine.; int1 & int2 -> int3: the massicot does parole but it is not a requiescat.; int3 & sent7 -> int4: the cards is not a chimaera.; int4 & sent11 -> int5: that the natterjack is not a Titan but it is a chimaera does not hold.; int5 & sent1 -> int6: the salutatorian does brief ruse.; int6 & sent5 -> int7: the stooper is bony but it is not a kind of a Bourse.; sent14 -> int8: if the stooper is bony but it is not a kind of a Bourse it is not a kweek.; int7 & int8 -> hypothesis;
the stalker is a chanter but not a splat.
sent15 -> int9: the stalker is a chanter that is not a splat if it is Swiss.;
$hypothesis$ = that the stooper is not a kind of a kweek is true. ; $context$ = sent1: the salutatorian briefs ruse if the fact that the natterjack is not a Titan but a chimaera does not hold. sent2: the fact that the natterjack is a Titan that is a kind of a chimaera does not hold. sent3: the massicot is not a turbine if it is not a kind of a Swiss. sent4: the massicot is not a Swiss. sent5: if the salutatorian briefs ruse the stooper is bony but it is not a Bourse. sent6: if the massicot does parole and it is a requiescat the cards is not a chimaera. sent7: the cards is not a kind of a chimaera if the massicot does parole but it is not a requiescat. sent8: if there is something such that it is a kweek then either the massicot is a turbine or it is a kweek or both. sent9: if that something is not a turbine is right then it is not a requiescat. sent10: the stooper is a kind of a kweek if the fact that the massicot is a kind of a kweek is true. sent11: that the natterjack is not a Titan but it is a chimaera is incorrect if the fact that the cards is not a kind of a chimaera is right. sent12: if the natterjack is a chimaera and a kweek then it is not a kind of a Swiss. sent13: something paroles and is not a requiescat if it is not a kind of a turbine. sent14: if something that is bony is not a Bourse it is not a kweek. sent15: something that is a Swiss is both a chanter and not a splat. sent16: the natterjack is a kind of a requiescat but it is not a Swiss if the salutatorian is a parole. ; $proof$ = 
sent3 & sent4 -> int1: the massicot is not a turbine.; sent13 -> int2: the massicot is a parole but not a requiescat if it is not a turbine.; int1 & int2 -> int3: the massicot does parole but it is not a requiescat.; int3 & sent7 -> int4: the cards is not a chimaera.; int4 & sent11 -> int5: that the natterjack is not a Titan but it is a chimaera does not hold.; int5 & sent1 -> int6: the salutatorian does brief ruse.; int6 & sent5 -> int7: the stooper is bony but it is not a kind of a Bourse.; sent14 -> int8: if the stooper is bony but it is not a kind of a Bourse it is not a kweek.; int7 & int8 -> hypothesis; __PROVED__