Bob is round. Charlie is blue. Gary is blue. Harry is round. All green things are round. If something is green then it is not rough. If something is blue then it is green. If something is round then it is smart. Round things are smart. If Harry is red and Harry is rough then Harry is not green.
Gary is not round.
@0: Bob is round.[(triple1)] Charlie is blue.[(triple2)] Gary is blue.[(triple3)] Harry is round.[(triple4)] @1: Bob is smart.[(((triple1) -> rule4) OR ((triple1) -> rule5))] Charlie is green.[(((triple2) -> rule3))] Gary is green.[(((triple3) -> rule3))] Harry is smart.[(((triple4) -> rule4) OR ((triple4) -> rule5))] @2: Charlie is not rough.[(((((triple2) -> rule3)) -> rule2))] Charlie is round.[(((((triple2) -> rule3)) -> rule1))] Gary is not rough.[(((((triple3) -> rule3)) -> rule2))] Gary is round.[(((((triple3) -> rule3)) -> rule1))] @3: Charlie is smart.[(((((((triple2) -> rule3)) -> rule1)) -> rule4) OR ((((((triple2) -> rule3)) -> rule1)) -> rule5))] Gary is smart.[(((((((triple3) -> rule3)) -> rule1)) -> rule4) OR ((((((triple3) -> rule3)) -> rule1)) -> rule5))]