Erin is green. Erin is kind. Erin is red. Erin is round. Erin is smart. Erin is white. Fiona is rough. Gary is green. Gary is kind. Gary is rough. Gary is white. Harry is kind. Harry is red. Harry is smart. Harry is white. All smart, kind things are rough. Red, round things are green. Smart, rough things are green.
Harry is red.
@0: Erin is green.[(triple1 OR ((triple3 triple4) -> rule2) OR ((triple5 ((triple5 triple2) -> rule1)) -> rule3))] Erin is kind.[(triple2)] Erin is red.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Fiona is rough.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is rough.[(triple10)] Gary is white.[(triple11)] Harry is kind.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Erin is rough.[(((triple5 triple2) -> rule1))] Harry is rough.[(((triple14 triple12) -> rule1))] @2: Harry is green.[(((triple14 ((triple14 triple12) -> rule1)) -> rule3))]