the knight does not pale.
sent1: the fact that the clip-on is not a kind of a Ayrshire is right if the grizzly is a Ayrshire and it is not non-less. sent2: if there is something such that the fact that it is a Bragg hold the grizzly is sinkable thing that is not a Hypoderma. sent3: the matchstick is not a kind of a muster and is not clinical. sent4: if the fact that the basophil counterplots haploid is not wrong then the fact that it is both not a muster and a Ayrshire is wrong. sent5: there exists something such that it is a Bragg. sent6: if the clip-on is not a Ayrshire then it is clinical and it is not a muster. sent7: if something that is clinical does not muster then the matchstick is not a Baikal. sent8: the basophil is a hypertonicity if that the knight does not counterplot haploid and is a kind of a values does not hold. sent9: that the fact that something does not counterplot haploid but it is a values is right is wrong if it pales. sent10: the basophil is not a Baikal if the matchstick is not a muster and it is not clinical. sent11: the grizzly is a kind of a Ayrshire if that it is sinkable and it is not a Hypoderma is correct. sent12: the basophil does not pale. sent13: the matchstick is not clinical. sent14: that everything is a Ayrshire is correct. sent15: the matchstick does not counterplot haploid. sent16: that something is not a Baikal but it is a kind of a hypertonicity is not right if the fact that it is a Ayrshire hold. sent17: if the fact that the knight does pale is right then the fact that it counterplots haploid and it is a values is wrong. sent18: the knight does pale if the basophil does pale.
sent9 -> int1: that the knight does not counterplot haploid but it is a kind of a values is not true if the fact that it does pale hold.; void -> assump1: Let's assume that the fact that the knight pales is true.; int1 & assump1 -> int2: the fact that the knight does not counterplot haploid but it is a values is not true.; int2 & sent8 -> int3: the basophil is a hypertonicity.; sent10 & sent3 -> int4: the basophil is not a kind of a Baikal.; int3 & int4 -> int5: the basophil is not a kind of a Baikal but it is a kind of a hypertonicity.; sent16 -> int6: if the basophil is a Ayrshire that it is not a Baikal but a hypertonicity is false.; sent14 -> int7: the basophil is a Ayrshire.; int6 & int7 -> int8: the fact that the basophil is not a Baikal but it is a kind of a hypertonicity is false.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the knight does pale.
sent5 & sent2 -> int10: the grizzly is sinkable and is not a Hypoderma.; sent11 & int10 -> int11: the grizzly is a Ayrshire.;
$hypothesis$ = the knight does not pale. ; $context$ = sent1: the fact that the clip-on is not a kind of a Ayrshire is right if the grizzly is a Ayrshire and it is not non-less. sent2: if there is something such that the fact that it is a Bragg hold the grizzly is sinkable thing that is not a Hypoderma. sent3: the matchstick is not a kind of a muster and is not clinical. sent4: if the fact that the basophil counterplots haploid is not wrong then the fact that it is both not a muster and a Ayrshire is wrong. sent5: there exists something such that it is a Bragg. sent6: if the clip-on is not a Ayrshire then it is clinical and it is not a muster. sent7: if something that is clinical does not muster then the matchstick is not a Baikal. sent8: the basophil is a hypertonicity if that the knight does not counterplot haploid and is a kind of a values does not hold. sent9: that the fact that something does not counterplot haploid but it is a values is right is wrong if it pales. sent10: the basophil is not a Baikal if the matchstick is not a muster and it is not clinical. sent11: the grizzly is a kind of a Ayrshire if that it is sinkable and it is not a Hypoderma is correct. sent12: the basophil does not pale. sent13: the matchstick is not clinical. sent14: that everything is a Ayrshire is correct. sent15: the matchstick does not counterplot haploid. sent16: that something is not a Baikal but it is a kind of a hypertonicity is not right if the fact that it is a Ayrshire hold. sent17: if the fact that the knight does pale is right then the fact that it counterplots haploid and it is a values is wrong. sent18: the knight does pale if the basophil does pale. ; $proof$ = 
sent9 -> int1: that the knight does not counterplot haploid but it is a kind of a values is not true if the fact that it does pale hold.; void -> assump1: Let's assume that the fact that the knight pales is true.; int1 & assump1 -> int2: the fact that the knight does not counterplot haploid but it is a values is not true.; int2 & sent8 -> int3: the basophil is a hypertonicity.; sent10 & sent3 -> int4: the basophil is not a kind of a Baikal.; int3 & int4 -> int5: the basophil is not a kind of a Baikal but it is a kind of a hypertonicity.; sent16 -> int6: if the basophil is a Ayrshire that it is not a Baikal but a hypertonicity is false.; sent14 -> int7: the basophil is a Ayrshire.; int6 & int7 -> int8: the fact that the basophil is not a Baikal but it is a kind of a hypertonicity is false.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__