the sonneteer does symbolize anthropology.
sent1: the sonneteer is a iodoprotein. sent2: the labium is a finished. sent3: the ootid is a taped. sent4: that the cabbageworm beats Spanish hold if the ootid finishes. sent5: the asterism symbolizes anthropology. sent6: the sonneteer is a Tobit. sent7: the ootid symbolizes anthropology. sent8: the sonneteer beats Spanish if the ootid symbolizes anthropology. sent9: if the sonneteer beats Spanish the ootid symbolizes anthropology. sent10: The Spanish does beat ootid. sent11: the ootid finishes if that the cabbageworm does beat Spanish is not wrong. sent12: the cabbageworm is a finished if the ootid beats Spanish. sent13: the sonneteer symbolizes anthropology if the cabbageworm does finish. sent14: the sonneteer beats Spanish. sent15: the ootid is a finished. sent16: something is not a lexicographer but a Plovdiv. sent17: the ootid does beat Spanish. sent18: if something is a coyote it is a finished. sent19: if the fact that the ootid does finish or does not beat Spanish or both is false the sonneteer beat Spanish.
sent12 & sent17 -> int1: the cabbageworm finishes.; sent13 & int1 -> hypothesis;
the sonneteer does not symbolize anthropology.
$hypothesis$ = the sonneteer does symbolize anthropology. ; $context$ = sent1: the sonneteer is a iodoprotein. sent2: the labium is a finished. sent3: the ootid is a taped. sent4: that the cabbageworm beats Spanish hold if the ootid finishes. sent5: the asterism symbolizes anthropology. sent6: the sonneteer is a Tobit. sent7: the ootid symbolizes anthropology. sent8: the sonneteer beats Spanish if the ootid symbolizes anthropology. sent9: if the sonneteer beats Spanish the ootid symbolizes anthropology. sent10: The Spanish does beat ootid. sent11: the ootid finishes if that the cabbageworm does beat Spanish is not wrong. sent12: the cabbageworm is a finished if the ootid beats Spanish. sent13: the sonneteer symbolizes anthropology if the cabbageworm does finish. sent14: the sonneteer beats Spanish. sent15: the ootid is a finished. sent16: something is not a lexicographer but a Plovdiv. sent17: the ootid does beat Spanish. sent18: if something is a coyote it is a finished. sent19: if the fact that the ootid does finish or does not beat Spanish or both is false the sonneteer beat Spanish. ; $proof$ = 
sent12 & sent17 -> int1: the cabbageworm finishes.; sent13 & int1 -> hypothesis; __PROVED__