the Togolese is a kind of a canella.
sent1: if that something is a kind of a canella that is robotics is not right it is not a canella. sent2: if the bollock does not drag ribald then the Dalmatian is both not robotics and a midwinter. sent3: the taper is not illegitimate. sent4: if the taper is not illegitimate then it does put Dalmatian and it is not a kind of a Spizella. sent5: the fact that the Togolese drags ribald is correct. sent6: the Togolese is a Spizella. sent7: the bollock is robotics if the Dalmatian is a kind of a midwinter. sent8: the Dalmatian is a midwinter. sent9: that the bollock is not a Spizella and is a discharged does not hold. sent10: if that something discharges and it does drag ribald is not right it does not drag ribald. sent11: there exists something such that it is robotics. sent12: if that the bollock is not a kind of a Spizella but it is a kind of a discharged is not true it drags ribald. sent13: the fact that the bollock does discharge and it drags ribald does not hold if the fact that the radon is not a Philistine is not false. sent14: the Togolese is a kind of a discharged. sent15: the bollock is robotics if it is not a midwinter. sent16: the Togolese is a Philistine if there is something such that it is robotics and does drag ribald. sent17: something is a canella if it is a Philistine.
sent7 & sent8 -> int1: the bollock is robotics.; sent12 & sent9 -> int2: the bollock does drag ribald.; int1 & int2 -> int3: the bollock is robotics and it drags ribald.; int3 -> int4: there is something such that it is robotics and drags ribald.; int4 & sent16 -> int5: the Togolese is a Philistine.; sent17 -> int6: the Togolese is a canella if it is a Philistine.; int5 & int6 -> hypothesis;
the Togolese is not a canella.
sent1 -> int7: the Togolese is not a kind of a canella if that it is a canella and it is robotics is not correct.; sent10 -> int8: if that the bollock is a discharged and it does drag ribald is not correct then that it does not drag ribald is not false.; sent4 & sent3 -> int9: the taper puts Dalmatian and is not a Spizella.; int9 -> int10: there exists something such that it puts Dalmatian and it is not a Spizella.;
$hypothesis$ = the Togolese is a kind of a canella. ; $context$ = sent1: if that something is a kind of a canella that is robotics is not right it is not a canella. sent2: if the bollock does not drag ribald then the Dalmatian is both not robotics and a midwinter. sent3: the taper is not illegitimate. sent4: if the taper is not illegitimate then it does put Dalmatian and it is not a kind of a Spizella. sent5: the fact that the Togolese drags ribald is correct. sent6: the Togolese is a Spizella. sent7: the bollock is robotics if the Dalmatian is a kind of a midwinter. sent8: the Dalmatian is a midwinter. sent9: that the bollock is not a Spizella and is a discharged does not hold. sent10: if that something discharges and it does drag ribald is not right it does not drag ribald. sent11: there exists something such that it is robotics. sent12: if that the bollock is not a kind of a Spizella but it is a kind of a discharged is not true it drags ribald. sent13: the fact that the bollock does discharge and it drags ribald does not hold if the fact that the radon is not a Philistine is not false. sent14: the Togolese is a kind of a discharged. sent15: the bollock is robotics if it is not a midwinter. sent16: the Togolese is a Philistine if there is something such that it is robotics and does drag ribald. sent17: something is a canella if it is a Philistine. ; $proof$ = 
sent7 & sent8 -> int1: the bollock is robotics.; sent12 & sent9 -> int2: the bollock does drag ribald.; int1 & int2 -> int3: the bollock is robotics and it drags ribald.; int3 -> int4: there is something such that it is robotics and drags ribald.; int4 & sent16 -> int5: the Togolese is a Philistine.; sent17 -> int6: the Togolese is a canella if it is a Philistine.; int5 & int6 -> hypothesis; __PROVED__