Anne is big. Anne is green. Anne is quiet. Anne is round. Erin is big. Erin is green. Erin is kind. Erin is red. Erin is rough. Harry is big. Harry is green. Harry is not quiet. Harry is red. Harry is rough. Harry is round. If Harry is red then Harry is green. If Anne is not rough then Anne is red. If Harry is round and Harry is not kind then Harry is not red.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11 OR ((triple13) -> rule1))] Harry is not quiet.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)]