Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Gary is red. Gary is smart. Harry is blue. All young things are blue. If Gary is rough and Gary is red then Gary is young. All smart things are round. If something is furry then it is smart. If something is smart then it is blue. All rough, smart things are round. If Gary is blue then Gary is red. If Harry is furry then Harry is rough.
Charlie is young.
@0: Charlie is rough.[(triple1)] Charlie is round.[(triple2 OR ((triple3) -> rule3) OR ((triple1 triple3) -> rule6))] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Gary is red.[(triple5 OR ((((triple6) -> rule5)) -> rule7))] Gary is smart.[(triple6)] Harry is blue.[(triple7)] @1: Charlie is blue.[(((triple3) -> rule5) OR ((triple4) -> rule1))] Gary is blue.[(((triple6) -> rule5))] Gary is round.[(((triple6) -> rule3))]