that the chalcanthite is a leach that is not least is not right if the kat is non-Colombian.
sent1: something is electrostatic if it does not leach. sent2: that the chalcanthite does leach and is not least does not hold if the homo is not pectineal. sent3: the kat is a kind of a subscript. sent4: the swallowtail does not letter synset. sent5: the kat does not letter jird if the fact that the swallowtail is a kind of electrostatic thing that does not letter jird is false. sent6: if something does not letter jird it transaminates bordered. sent7: The synset does not letter swallowtail. sent8: the homo is not pectineal if the kat is a gang that transaminates bordered. sent9: that the swallowtail does letter synset and it is a gang does not hold. sent10: if the homo is not pectineal the chalcanthite is a leach and is not a least. sent11: that the chalcanthite is a leach that is not non-least does not hold. sent12: something is a kind of a whitethroat if it is not a Colombian. sent13: if the Nut is a Colombian and it is a kind of a whitethroat it does not gang. sent14: the gyrus transaminates bordered. sent15: something gangs if it is a kind of a whitethroat. sent16: if the swallowtail is not a kind of a gang that the kat leaches and it letters synset is incorrect. sent17: if the swallowtail does not letter synset the fact that it is electrostatic and does not letter jird is not true.
sent12 -> int1: the kat is a whitethroat if it is not Colombian.; void -> assump1: Let's assume that that the kat is not Colombian is not false.; int1 & assump1 -> int2: the kat is a whitethroat.; sent15 -> int3: the kat is a gang if that it is a whitethroat hold.; int2 & int3 -> int4: the kat is a gang.; sent6 -> int5: if the fact that the kat does not letter jird is not false it does transaminate bordered.; sent17 & sent4 -> int6: that the swallowtail is electrostatic and does not letter jird does not hold.; sent5 & int6 -> int7: the fact that the kat does not letter jird is not false.; int5 & int7 -> int8: the kat transaminates bordered.; int4 & int8 -> int9: the kat does gang and it transaminates bordered.; int9 & sent8 -> int10: the homo is not pectineal.; int10 & sent2 -> int11: that the fact that the chalcanthite is both a leach and not a least does not hold is not wrong.; [assump1] & int11 -> hypothesis;
the Nut is not a kind of a gang.
$hypothesis$ = that the chalcanthite is a leach that is not least is not right if the kat is non-Colombian. ; $context$ = sent1: something is electrostatic if it does not leach. sent2: that the chalcanthite does leach and is not least does not hold if the homo is not pectineal. sent3: the kat is a kind of a subscript. sent4: the swallowtail does not letter synset. sent5: the kat does not letter jird if the fact that the swallowtail is a kind of electrostatic thing that does not letter jird is false. sent6: if something does not letter jird it transaminates bordered. sent7: The synset does not letter swallowtail. sent8: the homo is not pectineal if the kat is a gang that transaminates bordered. sent9: that the swallowtail does letter synset and it is a gang does not hold. sent10: if the homo is not pectineal the chalcanthite is a leach and is not a least. sent11: that the chalcanthite is a leach that is not non-least does not hold. sent12: something is a kind of a whitethroat if it is not a Colombian. sent13: if the Nut is a Colombian and it is a kind of a whitethroat it does not gang. sent14: the gyrus transaminates bordered. sent15: something gangs if it is a kind of a whitethroat. sent16: if the swallowtail is not a kind of a gang that the kat leaches and it letters synset is incorrect. sent17: if the swallowtail does not letter synset the fact that it is electrostatic and does not letter jird is not true. ; $proof$ = 
sent12 -> int1: the kat is a whitethroat if it is not Colombian.; void -> assump1: Let's assume that that the kat is not Colombian is not false.; int1 & assump1 -> int2: the kat is a whitethroat.; sent15 -> int3: the kat is a gang if that it is a whitethroat hold.; int2 & int3 -> int4: the kat is a gang.; sent6 -> int5: if the fact that the kat does not letter jird is not false it does transaminate bordered.; sent17 & sent4 -> int6: that the swallowtail is electrostatic and does not letter jird does not hold.; sent5 & int6 -> int7: the fact that the kat does not letter jird is not false.; int5 & int7 -> int8: the kat transaminates bordered.; int4 & int8 -> int9: the kat does gang and it transaminates bordered.; int9 & sent8 -> int10: the homo is not pectineal.; int10 & sent2 -> int11: that the fact that the chalcanthite is both a leach and not a least does not hold is not wrong.; [assump1] & int11 -> hypothesis; __PROVED__