Anne is rough. Anne is smart. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is young. Fiona is round. Harry is kind. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. If Anne is white then Anne is nice. All round people are rough. If Harry is white and Harry is nice then Harry is smart.
Erin is not nice.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5 OR ((triple6) -> rule2))] Erin is round.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Fiona is round.[(triple9)] Harry is kind.[(triple10)] Harry is rough.[(triple11 OR ((triple12) -> rule2))] Harry is round.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Fiona is rough.[(((triple9) -> rule2))]