Anne is smart. Erin is green. Erin is not kind. Erin is round. Erin is not smart. Harry is kind. Harry is not round. If someone is green then they are round.
Anne is not round.
@0: Anne is smart.[(triple1)] Erin is green.[(triple2)] Erin is not kind.[(triple3)] Erin is not smart.[(triple5)] Erin is round.[(triple4 OR ((triple2) -> rule1))] Harry is kind.[(triple6)] Harry is not round.[(triple7)]