Dave is blue. Dave is rough. Dave is white. Erin is red. Erin is round. Gary is green. Gary is rough. Gary is round. Gary is white. Harry is rough. Harry is round. Harry is white. All round people are rough. All young people are green. If Harry is green and Harry is red then Harry is young. All white people are green. Young, round people are white. Rough people are green. If Harry is rough then Harry is blue. If someone is white then they are red.
Dave is green.
@0: Dave is blue.[(triple1)] Dave is rough.[(triple2)] Dave is white.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Gary is green.[(triple6 OR ((triple7) -> rule6) OR ((triple9) -> rule4) OR ((((triple8) -> rule1)) -> rule6))] Gary is rough.[(triple7 OR ((triple8) -> rule1))] Gary is round.[(triple8)] Gary is white.[(triple9)] Harry is rough.[(triple10 OR ((triple11) -> rule1))] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Dave is green.[(((triple2) -> rule6) OR ((triple3) -> rule4))] Dave is red.[(((triple3) -> rule8))] Erin is rough.[(((triple5) -> rule1))] Gary is red.[(((triple9) -> rule8))] Harry is blue.[(((triple10) -> rule7) OR ((((triple11) -> rule1)) -> rule7))] Harry is green.[(((triple10) -> rule6) OR ((triple12) -> rule4) OR ((((triple11) -> rule1)) -> rule6))] Harry is red.[(((triple12) -> rule8))] @2: Erin is green.[(((((triple5) -> rule1)) -> rule6))] Harry is young.[(((((triple10) -> rule6) ((triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule4) ((triple12) -> rule8)) -> rule3) OR ((((((triple11) -> rule1)) -> rule6) ((triple12) -> rule8)) -> rule3))]