the fact that the dayboy is not a Hirundinidae and it is not a Burr is not correct.
sent1: if the aeschynanthus does not theme Corticium that it does not coat slasher and/or it is not parental is wrong. sent2: if the fact that something either does not coat slasher or is not parental or both does not hold it is not a Hirundinidae. sent3: the aeschynanthus does not theme Corticium. sent4: that the aeschynanthus is not methodological but it does theme Corticium does not hold if the dayboy is a Hirundinidae. sent5: The Corticium does not theme aeschynanthus. sent6: the fact that the dayboy is not a Hirundinidae and it does not theme Corticium does not hold if the aeschynanthus is not a Hirundinidae. sent7: something is a kind of a Hirundinidae if it is a Burr. sent8: the dayboy does not theme Corticium if the aeschynanthus is not methodological.
sent1 & sent3 -> int1: that the aeschynanthus does not coat slasher and/or it is not parental is wrong.; sent2 -> int2: the aeschynanthus is not a Hirundinidae if that it does not coat slasher or it is not parental or both is not correct.; int1 & int2 -> int3: the aeschynanthus is not a Hirundinidae.;
the injection does not theme Corticium.
sent7 -> int4: if the dayboy is a kind of a Burr then it is a kind of a Hirundinidae.;
$hypothesis$ = the fact that the dayboy is not a Hirundinidae and it is not a Burr is not correct. ; $context$ = sent1: if the aeschynanthus does not theme Corticium that it does not coat slasher and/or it is not parental is wrong. sent2: if the fact that something either does not coat slasher or is not parental or both does not hold it is not a Hirundinidae. sent3: the aeschynanthus does not theme Corticium. sent4: that the aeschynanthus is not methodological but it does theme Corticium does not hold if the dayboy is a Hirundinidae. sent5: The Corticium does not theme aeschynanthus. sent6: the fact that the dayboy is not a Hirundinidae and it does not theme Corticium does not hold if the aeschynanthus is not a Hirundinidae. sent7: something is a kind of a Hirundinidae if it is a Burr. sent8: the dayboy does not theme Corticium if the aeschynanthus is not methodological. ; $proof$ = 
sent1 & sent3 -> int1: that the aeschynanthus does not coat slasher and/or it is not parental is wrong.; sent2 -> int2: the aeschynanthus is not a Hirundinidae if that it does not coat slasher or it is not parental or both is not correct.; int1 & int2 -> int3: the aeschynanthus is not a Hirundinidae.; __UNKNOWN__