the dun is not a scape.
sent1: the bobby is either a scape or dumpy or both. sent2: if the fact that something is disobedient and unpicks territoriality is not right then it does not unpicks territoriality. sent3: something is a fruitage and it is a boudoir if it is not a kind of a chafing. sent4: if either the dun unpicks territoriality or it is a kind of a scape or both then the millionairess is not a commensal. sent5: the dun is soft and/or it is an argent. sent6: the millionairess is not a scape if the dun does unpick territoriality and/or it is a kind of a commensal. sent7: the fact that the millionairess is disobedient hold. sent8: the millionairess is disobedient if the multivitamin is commensal. sent9: if the millionairess is commensal then the dun is not a scape. sent10: if the millionairess is a scape and/or it is a kind of a commensal then the dun does not unpick territoriality. sent11: the neonate is not a kind of a fixation. sent12: the millionairess is a scape. sent13: the multivitamin is commensal if something is embolic. sent14: the fact that the dun is not a scape is not false if the millionairess does unpick territoriality and/or it is a commensal. sent15: the fact that the lemonade does not bog Cassirer but it is a chafing does not hold if the neonate is not a fixation. sent16: something is embolic if it is a fruitage. sent17: the millionairess does unpick territoriality and is disobedient. sent18: the millionairess is not commensal. sent19: the taskmistress is not a scape. sent20: either the millionairess unpicks territoriality or it is a kind of a scape or both. sent21: the muffle is not a chafing if there exists something such that the fact that it does not bog Cassirer and it chafing is not right.
sent17 -> int1: the millionairess does unpick territoriality.; int1 -> int2: the millionairess either unpicks territoriality or is a commensal or both.; sent14 & int2 -> hypothesis;
the dun is a scape.
sent2 -> int3: the dun does not unpick territoriality if that it is disobedient and it does unpick territoriality is not true.;
$hypothesis$ = the dun is not a scape. ; $context$ = sent1: the bobby is either a scape or dumpy or both. sent2: if the fact that something is disobedient and unpicks territoriality is not right then it does not unpicks territoriality. sent3: something is a fruitage and it is a boudoir if it is not a kind of a chafing. sent4: if either the dun unpicks territoriality or it is a kind of a scape or both then the millionairess is not a commensal. sent5: the dun is soft and/or it is an argent. sent6: the millionairess is not a scape if the dun does unpick territoriality and/or it is a kind of a commensal. sent7: the fact that the millionairess is disobedient hold. sent8: the millionairess is disobedient if the multivitamin is commensal. sent9: if the millionairess is commensal then the dun is not a scape. sent10: if the millionairess is a scape and/or it is a kind of a commensal then the dun does not unpick territoriality. sent11: the neonate is not a kind of a fixation. sent12: the millionairess is a scape. sent13: the multivitamin is commensal if something is embolic. sent14: the fact that the dun is not a scape is not false if the millionairess does unpick territoriality and/or it is a commensal. sent15: the fact that the lemonade does not bog Cassirer but it is a chafing does not hold if the neonate is not a fixation. sent16: something is embolic if it is a fruitage. sent17: the millionairess does unpick territoriality and is disobedient. sent18: the millionairess is not commensal. sent19: the taskmistress is not a scape. sent20: either the millionairess unpicks territoriality or it is a kind of a scape or both. sent21: the muffle is not a chafing if there exists something such that the fact that it does not bog Cassirer and it chafing is not right. ; $proof$ = 
sent17 -> int1: the millionairess does unpick territoriality.; int1 -> int2: the millionairess either unpicks territoriality or is a commensal or both.; sent14 & int2 -> hypothesis; __PROVED__