the fact that the Puritan is a sport but it is not a kind of a Armenian is not correct.
sent1: the napalm is not aniseikonic. sent2: that the napalm is not sure hold. sent3: if the lactate is not a sport and/or it is aniseikonic the tuff does not blunt. sent4: that if the fact that the lactate does not rabbet pentacle and it is not bimillenial hold the Puritan is aniseikonic is right. sent5: if something is aniseikonic then it is unsarcastic. sent6: the lactate does not blunt or it does rabbet thrash or both. sent7: that the napalm blunts but it is not unsarcastic is not true. sent8: if there exists something such that that it is not aniseikonic is not false then the fact that the Puritan is a kind of a Armenian that does sport is not true. sent9: the fact that the Puritan does sport but it is not a kind of a Armenian is not right if there are sarcastic things. sent10: the tuff is not a kind of a sport. sent11: the amber does not sport. sent12: the lactate is not a Armenian. sent13: the tuff is not aniseikonic if the lactate does not blunt and/or it rabbets thrash. sent14: if there exists something such that it does not rabbet thrash then the fact that the Puritan is Armenian and sarcastic is false. sent15: the napalm is not a kind of an explosion. sent16: the fact that the tuff does blunt but it is not aniseikonic is not correct. sent17: the tuff does not blunt and/or is aniseikonic. sent18: if the lactate is not aniseikonic then the tuff does not rabbet thrash. sent19: if the fact that the tuff is not aniseikonic is correct then that the napalm is not unsarcastic is true. sent20: the napalm sports or is unsarcastic or both. sent21: if something is not aniseikonic and it is not unsarcastic then it does not rabbet thrash. sent22: the tuff is not aniseikonic if the lactate does not blunt.
sent13 & sent6 -> int1: the tuff is not aniseikonic.; int1 & sent19 -> int2: the napalm is not unsarcastic.; int2 -> int3: there exists something such that it is not unsarcastic.; int3 & sent9 -> hypothesis;
the loment does not rabbet thrash.
sent21 -> int4: that the loment does not rabbet thrash is true if it is not aniseikonic and it is not unsarcastic.;
$hypothesis$ = the fact that the Puritan is a sport but it is not a kind of a Armenian is not correct. ; $context$ = sent1: the napalm is not aniseikonic. sent2: that the napalm is not sure hold. sent3: if the lactate is not a sport and/or it is aniseikonic the tuff does not blunt. sent4: that if the fact that the lactate does not rabbet pentacle and it is not bimillenial hold the Puritan is aniseikonic is right. sent5: if something is aniseikonic then it is unsarcastic. sent6: the lactate does not blunt or it does rabbet thrash or both. sent7: that the napalm blunts but it is not unsarcastic is not true. sent8: if there exists something such that that it is not aniseikonic is not false then the fact that the Puritan is a kind of a Armenian that does sport is not true. sent9: the fact that the Puritan does sport but it is not a kind of a Armenian is not right if there are sarcastic things. sent10: the tuff is not a kind of a sport. sent11: the amber does not sport. sent12: the lactate is not a Armenian. sent13: the tuff is not aniseikonic if the lactate does not blunt and/or it rabbets thrash. sent14: if there exists something such that it does not rabbet thrash then the fact that the Puritan is Armenian and sarcastic is false. sent15: the napalm is not a kind of an explosion. sent16: the fact that the tuff does blunt but it is not aniseikonic is not correct. sent17: the tuff does not blunt and/or is aniseikonic. sent18: if the lactate is not aniseikonic then the tuff does not rabbet thrash. sent19: if the fact that the tuff is not aniseikonic is correct then that the napalm is not unsarcastic is true. sent20: the napalm sports or is unsarcastic or both. sent21: if something is not aniseikonic and it is not unsarcastic then it does not rabbet thrash. sent22: the tuff is not aniseikonic if the lactate does not blunt. ; $proof$ = 
sent13 & sent6 -> int1: the tuff is not aniseikonic.; int1 & sent19 -> int2: the napalm is not unsarcastic.; int2 -> int3: there exists something such that it is not unsarcastic.; int3 & sent9 -> hypothesis; __PROVED__