Charlie is nice. Charlie is rough. Dave is green. Gary is blue. Gary is kind. Gary is smart. Harry is white. Green things are kind. If Harry is smart and Harry is green then Harry is rough. All kind things are smart. Smart, green things are white. If Harry is blue and Harry is green then Harry is smart. All white, blue things are rough. If something is white then it is blue.
Dave is blue.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Dave is green.[(triple3)] Gary is blue.[(triple4)] Gary is kind.[(triple5)] Gary is smart.[(triple6 OR ((triple5) -> rule3))] Harry is white.[(triple7)] @1: Dave is kind.[(((triple3) -> rule1))] Harry is blue.[(((triple7) -> rule7))] @2: Dave is smart.[(((((triple3) -> rule1)) -> rule3))] Harry is rough.[(((triple7 ((triple7) -> rule7)) -> rule6))] @3: Dave is white.[(((((((triple3) -> rule1)) -> rule3) triple3) -> rule4))] @4: Dave is blue.[(((((((((triple3) -> rule1)) -> rule3) triple3) -> rule4)) -> rule7))] @5: Dave is rough.[(((((((((triple3) -> rule1)) -> rule3) triple3) -> rule4) ((((((((triple3) -> rule1)) -> rule3) triple3) -> rule4)) -> rule7)) -> rule6))]