the fact that there is something such that it is non-mitral is false.
sent1: the foot is not mitral if it is a kind of a disciple and is rickettsial. sent2: everything is a lanyard. sent3: the fact that the foot is not a lanyard is false. sent4: the dick is a kind of a disciple. sent5: the foot does count bench and it cohabits. sent6: the fact that the foot is a lanyard is not wrong if there exists something such that it is a lanyard and/or it is a kind of a familiarity. sent7: the fact that something is not a disciple but it is a kind of a Abutilon is not correct if it is not a kind of a lanyard. sent8: the foot does not stoke Swede if it stumbles hypanthium and it is a Saigon. sent9: there exists something such that it is atomic and/or it is Florentine. sent10: that everything is a lanyard and it is a disciple is not false. sent11: either something grades fairy or it is Florentine or both. sent12: the foot is rickettsial if something is rickettsial and/or it is a Abutilon. sent13: everything is an electric and it is an incident. sent14: the foot is bicylindrical. sent15: the boar is fenestral. sent16: if there is something such that it is rickettsial then the foot is rickettsial. sent17: there exists something such that it does not predominate. sent18: the terrorist does not grade Cedrus if it is concretistic and is a Abutilon. sent19: there exists something such that it is mitral. sent20: if either something is rickettsial or it is a partridgeberry or both the foot is rickettsial. sent21: everything does count hang-up and it is a greens. sent22: if something is rickettsial and/or grades Conocarpus the platen is rickettsial. sent23: something is rickettsial and/or it is a kind of a Abutilon.
sent10 -> int1: the foot is a lanyard and is a disciple.; int1 -> int2: the foot is a disciple.; sent23 & sent12 -> int3: the foot is rickettsial.; int2 & int3 -> int4: the foot is a disciple and it is rickettsial.; int4 & sent1 -> int5: the foot is not mitral.; int5 -> hypothesis;
the tench is not a Abutilon.
sent7 -> int6: the fact that the tench is not a disciple but it is a kind of a Abutilon does not hold if it is not a lanyard.;
$hypothesis$ = the fact that there is something such that it is non-mitral is false. ; $context$ = sent1: the foot is not mitral if it is a kind of a disciple and is rickettsial. sent2: everything is a lanyard. sent3: the fact that the foot is not a lanyard is false. sent4: the dick is a kind of a disciple. sent5: the foot does count bench and it cohabits. sent6: the fact that the foot is a lanyard is not wrong if there exists something such that it is a lanyard and/or it is a kind of a familiarity. sent7: the fact that something is not a disciple but it is a kind of a Abutilon is not correct if it is not a kind of a lanyard. sent8: the foot does not stoke Swede if it stumbles hypanthium and it is a Saigon. sent9: there exists something such that it is atomic and/or it is Florentine. sent10: that everything is a lanyard and it is a disciple is not false. sent11: either something grades fairy or it is Florentine or both. sent12: the foot is rickettsial if something is rickettsial and/or it is a Abutilon. sent13: everything is an electric and it is an incident. sent14: the foot is bicylindrical. sent15: the boar is fenestral. sent16: if there is something such that it is rickettsial then the foot is rickettsial. sent17: there exists something such that it does not predominate. sent18: the terrorist does not grade Cedrus if it is concretistic and is a Abutilon. sent19: there exists something such that it is mitral. sent20: if either something is rickettsial or it is a partridgeberry or both the foot is rickettsial. sent21: everything does count hang-up and it is a greens. sent22: if something is rickettsial and/or grades Conocarpus the platen is rickettsial. sent23: something is rickettsial and/or it is a kind of a Abutilon. ; $proof$ = 
sent10 -> int1: the foot is a lanyard and is a disciple.; int1 -> int2: the foot is a disciple.; sent23 & sent12 -> int3: the foot is rickettsial.; int2 & int3 -> int4: the foot is a disciple and it is rickettsial.; int4 & sent1 -> int5: the foot is not mitral.; int5 -> hypothesis; __DISPROVED__