the technician is a kind of a capped.
sent1: the technician is a kind of a capped if something that does impact epiphora is a dissonance. sent2: if something that activates chandler is not a kind of a calculus the teammate is permissive. sent3: there is something such that it is not a kind of a calculus. sent4: if something that does activate chandler is a calculus then that the teammate is permissive is not false. sent5: something activates chandler but it is not a calculus. sent6: there is something such that it impacts epiphora. sent7: the tender is not permissive. sent8: the chandler activates cannibal. sent9: the tilefish is a kind of a MAO. sent10: something is not a MAO. sent11: the tilefish is unpermissive. sent12: the technician is a kind of a calculus. sent13: if the teammate is permissive then the tilefish does not activate cannibal and is permissive. sent14: something is a kind of a dissonance. sent15: that the tender is a dissonance is correct. sent16: if the teammate is not unpermissive then the tilefish is not unpermissive. sent17: the teammate is not a capped or it is not permissive or both if there exists something such that it is not a MAO. sent18: if the tilefish does not activate cannibal and is a kind of a MAO then the tender does impact epiphora. sent19: something is a MAO if the fact that it is not a kind of a MAO and it impacts epiphora does not hold. sent20: that the teammate is not a MAO but it does impact epiphora does not hold if the tilefish is a kind of a dissonance. sent21: there exists something such that the fact that it is a MAO is not false. sent22: the licentiate is a MAO. sent23: the tender does not activate cannibal.
sent5 & sent2 -> int1: the teammate is permissive.; int1 & sent13 -> int2: the tilefish does not activate cannibal and is not permissive.; int2 -> int3: the tilefish does not activate cannibal.; int3 & sent9 -> int4: the tilefish does not activate cannibal but it is a MAO.; int4 & sent18 -> int5: the tender impacts epiphora.; int5 & sent15 -> int6: the tender impacts epiphora and is a dissonance.; int6 -> int7: there is something such that it impacts epiphora and is a dissonance.; int7 & sent1 -> hypothesis;
the estuary is permissive.
sent19 -> int8: the teammate is a MAO if the fact that it is not a MAO and it impacts epiphora is wrong.;
$hypothesis$ = the technician is a kind of a capped. ; $context$ = sent1: the technician is a kind of a capped if something that does impact epiphora is a dissonance. sent2: if something that activates chandler is not a kind of a calculus the teammate is permissive. sent3: there is something such that it is not a kind of a calculus. sent4: if something that does activate chandler is a calculus then that the teammate is permissive is not false. sent5: something activates chandler but it is not a calculus. sent6: there is something such that it impacts epiphora. sent7: the tender is not permissive. sent8: the chandler activates cannibal. sent9: the tilefish is a kind of a MAO. sent10: something is not a MAO. sent11: the tilefish is unpermissive. sent12: the technician is a kind of a calculus. sent13: if the teammate is permissive then the tilefish does not activate cannibal and is permissive. sent14: something is a kind of a dissonance. sent15: that the tender is a dissonance is correct. sent16: if the teammate is not unpermissive then the tilefish is not unpermissive. sent17: the teammate is not a capped or it is not permissive or both if there exists something such that it is not a MAO. sent18: if the tilefish does not activate cannibal and is a kind of a MAO then the tender does impact epiphora. sent19: something is a MAO if the fact that it is not a kind of a MAO and it impacts epiphora does not hold. sent20: that the teammate is not a MAO but it does impact epiphora does not hold if the tilefish is a kind of a dissonance. sent21: there exists something such that the fact that it is a MAO is not false. sent22: the licentiate is a MAO. sent23: the tender does not activate cannibal. ; $proof$ = 
sent5 & sent2 -> int1: the teammate is permissive.; int1 & sent13 -> int2: the tilefish does not activate cannibal and is not permissive.; int2 -> int3: the tilefish does not activate cannibal.; int3 & sent9 -> int4: the tilefish does not activate cannibal but it is a MAO.; int4 & sent18 -> int5: the tender impacts epiphora.; int5 & sent15 -> int6: the tender impacts epiphora and is a dissonance.; int6 -> int7: there is something such that it impacts epiphora and is a dissonance.; int7 & sent1 -> hypothesis; __PROVED__