Erin is not green. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Harry is not green. Harry is quiet. Harry is red. Harry is rough. Harry is not round. Harry is smart. Harry is young. If someone is rough and not green then they are red.
Erin is smart.
@0: Erin is not green.[(triple1)] Erin is quiet.[(triple2)] Erin is rough.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple5)] Harry is not green.[(triple6)] Harry is not round.[(triple10)] Harry is quiet.[(triple7)] Harry is red.[(triple8 OR ((triple9 triple6) -> rule1))] Harry is rough.[(triple9)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Erin is red.[(((triple3 triple1) -> rule1))]