the antimatter is not a Angara.
sent1: the antimatter is a kind of a muscadine and/or it is not laryngopharyngeal. sent2: the bed-ground is a yawner that poultices werewolf. sent3: that the re is not a Angara and does clutter is incorrect if it is not a disco. sent4: if the masquerader is subclavian it is a Angara. sent5: the dichondra is self. sent6: if the antimatter is a kind of a disco then the fact that it is a self is true. sent7: if something is both a clutter and a self it is not a kind of a Angara. sent8: the antimatter is a kind of a representation. sent9: the antimatter does not poultice werewolf and/or is not a muscadine. sent10: the antimatter does clutter if the fact that it does not poultice werewolf or is not a muscadine or both hold. sent11: the golf-club is not a muscadine. sent12: the fact that the antimatter discos is correct. sent13: if that something is subclavian and it does divert is correct it is not meiotic. sent14: a disco that is a clutter does not poultice werewolf. sent15: either the antimatter is not a clutter or it does not multiply entr'acte or both. sent16: the antimatter either does poultice werewolf or is not a burgrass or both.
sent10 & sent9 -> int1: the antimatter is a clutter.; sent6 & sent12 -> int2: the antimatter is a self.; int1 & int2 -> int3: the antimatter is both a clutter and a self.; sent7 -> int4: the antimatter is not a Angara if it is a kind of a clutter that is a self.; int3 & int4 -> hypothesis;
the fact that the re is a kind of a self is not wrong.
$hypothesis$ = the antimatter is not a Angara. ; $context$ = sent1: the antimatter is a kind of a muscadine and/or it is not laryngopharyngeal. sent2: the bed-ground is a yawner that poultices werewolf. sent3: that the re is not a Angara and does clutter is incorrect if it is not a disco. sent4: if the masquerader is subclavian it is a Angara. sent5: the dichondra is self. sent6: if the antimatter is a kind of a disco then the fact that it is a self is true. sent7: if something is both a clutter and a self it is not a kind of a Angara. sent8: the antimatter is a kind of a representation. sent9: the antimatter does not poultice werewolf and/or is not a muscadine. sent10: the antimatter does clutter if the fact that it does not poultice werewolf or is not a muscadine or both hold. sent11: the golf-club is not a muscadine. sent12: the fact that the antimatter discos is correct. sent13: if that something is subclavian and it does divert is correct it is not meiotic. sent14: a disco that is a clutter does not poultice werewolf. sent15: either the antimatter is not a clutter or it does not multiply entr'acte or both. sent16: the antimatter either does poultice werewolf or is not a burgrass or both. ; $proof$ = 
sent10 & sent9 -> int1: the antimatter is a clutter.; sent6 & sent12 -> int2: the antimatter is a self.; int1 & int2 -> int3: the antimatter is both a clutter and a self.; sent7 -> int4: the antimatter is not a Angara if it is a kind of a clutter that is a self.; int3 & int4 -> hypothesis; __PROVED__