Charlie is quiet. Charlie is young. Gary is cold. If someone is cold then they are quiet. If someone is young then they are rough. All blue, rough people are cold. Blue, rough people are red. Quiet people are young. If Gary is red then Gary is quiet. If someone is red then they are young. If Gary is rough and Gary is quiet then Gary is white.
Charlie is rough.
@0: Charlie is quiet.[(triple1)] Charlie is young.[(triple2 OR ((triple1) -> rule5))] Gary is cold.[(triple3)] @1: Charlie is rough.[(((triple2) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Gary is quiet.[(((triple3) -> rule1))] @2: Gary is young.[(((((triple3) -> rule1)) -> rule5))] @3: Gary is rough.[(((((((triple3) -> rule1)) -> rule5)) -> rule2))] @4: Gary is white.[(((((((((triple3) -> rule1)) -> rule5)) -> rule2) ((triple3) -> rule1)) -> rule8))]