Charlie is round. Dave is red. Gary is green. Gary is red. Gary is rough. Gary is white. Harry is red. If something is green and rough then it is red. If something is green then it is rough. Round things are green.
Dave is rough.
@0: Charlie is round.[(triple1)] Dave is red.[(triple2)] Gary is green.[(triple3)] Gary is red.[(triple4 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule1))] Gary is rough.[(triple5 OR ((triple3) -> rule2))] Gary is white.[(triple6)] Harry is red.[(triple7)] @1: Charlie is green.[(((triple1) -> rule3))] @2: Charlie is rough.[(((((triple1) -> rule3)) -> rule2))] @3: Charlie is red.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule1))]