the cowtown is a plagiarist.
sent1: the cowtown is not a kind of a plagiarist if the fact that the arousal is not a Nicolson but it is a plagiarist is not right. sent2: the Lidocaine is a Lycopersicon. sent3: the dingo is not a Tate if it is a kind of a NIMBY. sent4: if that the cowtown is a Tate is not wrong it is a plagiarist. sent5: if the Graham is a kind of a NIMBY then the dingo is a kind of a NIMBY. sent6: the cowtown is a epaulet and/or it is a NIMBY. sent7: something is a kind of a Tate if it is not a Lycopersicon. sent8: that the swathe is both a plagiarist and a Lycopersicon is not right if the dingo is not a kind of a Tate. sent9: if the cowtown is a epaulet and/or a NIMBY then it is not a kind of a Nicolson. sent10: the cowtown is a Nicolson if it is a Lycopersicon.
void -> assump1: Let's assume that the cowtown is a Lycopersicon.; sent10 & assump1 -> int1: that the cowtown is a Nicolson is correct.; sent9 & sent6 -> int2: the cowtown is not a Nicolson.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cowtown is not a Lycopersicon.; sent7 -> int5: if the cowtown is not a Lycopersicon it is a Tate.; int4 & int5 -> int6: the cowtown is a Tate.; int6 & sent4 -> hypothesis;
the cowtown is not a kind of a plagiarist.
$hypothesis$ = the cowtown is a plagiarist. ; $context$ = sent1: the cowtown is not a kind of a plagiarist if the fact that the arousal is not a Nicolson but it is a plagiarist is not right. sent2: the Lidocaine is a Lycopersicon. sent3: the dingo is not a Tate if it is a kind of a NIMBY. sent4: if that the cowtown is a Tate is not wrong it is a plagiarist. sent5: if the Graham is a kind of a NIMBY then the dingo is a kind of a NIMBY. sent6: the cowtown is a epaulet and/or it is a NIMBY. sent7: something is a kind of a Tate if it is not a Lycopersicon. sent8: that the swathe is both a plagiarist and a Lycopersicon is not right if the dingo is not a kind of a Tate. sent9: if the cowtown is a epaulet and/or a NIMBY then it is not a kind of a Nicolson. sent10: the cowtown is a Nicolson if it is a Lycopersicon. ; $proof$ = 
void -> assump1: Let's assume that the cowtown is a Lycopersicon.; sent10 & assump1 -> int1: that the cowtown is a Nicolson is correct.; sent9 & sent6 -> int2: the cowtown is not a Nicolson.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cowtown is not a Lycopersicon.; sent7 -> int5: if the cowtown is not a Lycopersicon it is a Tate.; int4 & int5 -> int6: the cowtown is a Tate.; int6 & sent4 -> hypothesis; __PROVED__