the kingsnake is not a preemptor.
sent1: that something is a preemptor is correct if the fact that it is not a Sudanese and it is not a kind of a preemptor is incorrect. sent2: if the conductor does not work antineoplastic and is not a prosecutor then it is not a chessman. sent3: there exists something such that the fact that it is not non-Sudanese and it is a Alexandrine is incorrect. sent4: that the kingsnake is not Methodist is true if there is something such that that it is a kind of Sudanese thing that is not a Alexandrine is incorrect. sent5: the fact that the tang is not a Alexandrine is not wrong if there exists something such that the fact that it does pleach bylaw and is not happy is false. sent6: there exists something such that it is unnecessary and not a polynomial. sent7: the fact that something does pleach bylaw and is not happy does not hold if it is not a chessman. sent8: there is something such that that that it is Catalan and is atonic is correct is false. sent9: the garden does not pleach Lophophora. sent10: the conductor does not work antineoplastic and is not a prosecutor if the fact that the midway does not barrack pannier hold. sent11: something is a Sudanese that is not a Alexandrine. sent12: if the garden does not pleach Lophophora then that the ephemera does barrack pannier but it is not a ruby is not right. sent13: something is a kind of a Methodist if that it is not a kind of a Alexandrine is true. sent14: the fact that the egghead is a Sudanese and is not a Alexandrine does not hold. sent15: if there are non-Sudanese things then that the kingsnake is not Methodist is correct. sent16: a preemptor is a Methodist. sent17: the midway does not barrack pannier if there exists something such that that it does barrack pannier and it is not a ruby is incorrect. sent18: if the tang is a Methodist then the egghead is a kind of a preemptor.
sent16 -> int1: the kingsnake is a Methodist if it is a kind of a preemptor.; void -> assump1: Let's assume that that the kingsnake is a preemptor hold.; int1 & assump1 -> int2: the kingsnake is a kind of a Methodist.; sent14 -> int3: there is something such that the fact that it is a kind of Sudanese thing that is not a Alexandrine is not true.; int3 & sent4 -> int4: the kingsnake is not a Methodist.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the fact that the kingsnake is a kind of a preemptor is not false.
sent1 -> int6: the kingsnake is a kind of a preemptor if the fact that it is not a Sudanese and is not a preemptor is not right.; sent13 -> int7: if the tang is not a Alexandrine it is a Methodist.; sent7 -> int8: the fact that the conductor does pleach bylaw but it is unhappy is wrong if it is not a kind of a chessman.; sent12 & sent9 -> int9: the fact that the ephemera barracks pannier but it is not a kind of a ruby does not hold.; int9 -> int10: there is something such that that it does barrack pannier and is not a ruby is wrong.; int10 & sent17 -> int11: the midway does not barrack pannier.; sent10 & int11 -> int12: the conductor does not work antineoplastic and is not a kind of a prosecutor.; sent2 & int12 -> int13: the conductor is not a chessman.; int8 & int13 -> int14: that the conductor does pleach bylaw but it is unhappy is not right.; int14 -> int15: there is something such that that it pleaches bylaw and is not happy is wrong.; int15 & sent5 -> int16: the tang is not a kind of a Alexandrine.; int7 & int16 -> int17: the tang is a Methodist.; sent18 & int17 -> int18: the egghead is a kind of a preemptor.; int18 -> int19: there exists something such that it is a kind of a preemptor.;
$hypothesis$ = the kingsnake is not a preemptor. ; $context$ = sent1: that something is a preemptor is correct if the fact that it is not a Sudanese and it is not a kind of a preemptor is incorrect. sent2: if the conductor does not work antineoplastic and is not a prosecutor then it is not a chessman. sent3: there exists something such that the fact that it is not non-Sudanese and it is a Alexandrine is incorrect. sent4: that the kingsnake is not Methodist is true if there is something such that that it is a kind of Sudanese thing that is not a Alexandrine is incorrect. sent5: the fact that the tang is not a Alexandrine is not wrong if there exists something such that the fact that it does pleach bylaw and is not happy is false. sent6: there exists something such that it is unnecessary and not a polynomial. sent7: the fact that something does pleach bylaw and is not happy does not hold if it is not a chessman. sent8: there is something such that that that it is Catalan and is atonic is correct is false. sent9: the garden does not pleach Lophophora. sent10: the conductor does not work antineoplastic and is not a prosecutor if the fact that the midway does not barrack pannier hold. sent11: something is a Sudanese that is not a Alexandrine. sent12: if the garden does not pleach Lophophora then that the ephemera does barrack pannier but it is not a ruby is not right. sent13: something is a kind of a Methodist if that it is not a kind of a Alexandrine is true. sent14: the fact that the egghead is a Sudanese and is not a Alexandrine does not hold. sent15: if there are non-Sudanese things then that the kingsnake is not Methodist is correct. sent16: a preemptor is a Methodist. sent17: the midway does not barrack pannier if there exists something such that that it does barrack pannier and it is not a ruby is incorrect. sent18: if the tang is a Methodist then the egghead is a kind of a preemptor. ; $proof$ = 
sent16 -> int1: the kingsnake is a Methodist if it is a kind of a preemptor.; void -> assump1: Let's assume that that the kingsnake is a preemptor hold.; int1 & assump1 -> int2: the kingsnake is a kind of a Methodist.; sent14 -> int3: there is something such that the fact that it is a kind of Sudanese thing that is not a Alexandrine is not true.; int3 & sent4 -> int4: the kingsnake is not a Methodist.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__