the hansom is not a hamate.
sent1: something is not a manservant if the fact that it is a kind of a antlion that is not a chump is not correct. sent2: The spitter tempers spitter. sent3: the spitter is a kind of a Marxist if it does temper spitter. sent4: if something does not temper Monaco the fact that it is not a kind of a manservant and it is not a kind of a chump is not correct. sent5: if the hansom is a kind of a chump the fact that the spitter is a antlion and is not a chump is wrong. sent6: if the fact that the hansom is a chump but it does not temper Monaco does not hold it is not a hamate. sent7: if something is a chump then it is not a kind of a antlion. sent8: the hansom is not a manservant if it is a chump. sent9: the spitter tempers spitter. sent10: the fact that if something is not a manservant it is ungrateful and it is not a Marxist is not false. sent11: the fact that the spitter is a kind of a antlion that is a chump is incorrect.
void -> assump1: Let's assume that the hansom is a kind of a chump but it does not temper Monaco.; assump1 -> int1: the hansom is a chump.; int1 & sent5 -> int2: that the spitter is a antlion but it is not a kind of a chump is not right.; sent1 -> int3: if that the spitter is a antlion but it is not a chump is incorrect it is not a kind of a manservant.; int2 & int3 -> int4: the spitter is not a manservant.; sent10 -> int5: the spitter is ungrateful but it is not a Marxist if the fact that it is not a kind of a manservant hold.; int4 & int5 -> int6: the spitter is ungrateful but it is not a Marxist.; int6 -> int7: the spitter is not a kind of a Marxist.; sent3 & sent9 -> int8: the spitter is a kind of a Marxist.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the hansom is a chump and does not temper Monaco is not correct.; int10 & sent6 -> hypothesis;
the gnathostome is not a kind of a antlion.
sent7 -> int11: if the gnathostome is a chump it is not a antlion.; sent4 -> int12: that the gnathostome is both not a manservant and not a chump is incorrect if it does not temper Monaco.;
$hypothesis$ = the hansom is not a hamate. ; $context$ = sent1: something is not a manservant if the fact that it is a kind of a antlion that is not a chump is not correct. sent2: The spitter tempers spitter. sent3: the spitter is a kind of a Marxist if it does temper spitter. sent4: if something does not temper Monaco the fact that it is not a kind of a manservant and it is not a kind of a chump is not correct. sent5: if the hansom is a kind of a chump the fact that the spitter is a antlion and is not a chump is wrong. sent6: if the fact that the hansom is a chump but it does not temper Monaco does not hold it is not a hamate. sent7: if something is a chump then it is not a kind of a antlion. sent8: the hansom is not a manservant if it is a chump. sent9: the spitter tempers spitter. sent10: the fact that if something is not a manservant it is ungrateful and it is not a Marxist is not false. sent11: the fact that the spitter is a kind of a antlion that is a chump is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the hansom is a kind of a chump but it does not temper Monaco.; assump1 -> int1: the hansom is a chump.; int1 & sent5 -> int2: that the spitter is a antlion but it is not a kind of a chump is not right.; sent1 -> int3: if that the spitter is a antlion but it is not a chump is incorrect it is not a kind of a manservant.; int2 & int3 -> int4: the spitter is not a manservant.; sent10 -> int5: the spitter is ungrateful but it is not a Marxist if the fact that it is not a kind of a manservant hold.; int4 & int5 -> int6: the spitter is ungrateful but it is not a Marxist.; int6 -> int7: the spitter is not a kind of a Marxist.; sent3 & sent9 -> int8: the spitter is a kind of a Marxist.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the hansom is a chump and does not temper Monaco is not correct.; int10 & sent6 -> hypothesis; __PROVED__