Charlie is green. Fiona is blue. Gary is quiet. Quiet things are cold. All cold things are green. All big things are nice. All green things are white. White things are blue. If Gary is blue and Gary is cold then Gary is nice.
Gary is not white.
@0: Charlie is green.[(triple1)] Fiona is blue.[(triple2)] Gary is quiet.[(triple3)] @1: Charlie is white.[(((triple1) -> rule4))] Gary is cold.[(((triple3) -> rule1))] @2: Charlie is blue.[(((((triple1) -> rule4)) -> rule5))] Gary is green.[(((((triple3) -> rule1)) -> rule2))] @3: Gary is white.[(((((((triple3) -> rule1)) -> rule2)) -> rule4))] @4: Gary is blue.[(((((((((triple3) -> rule1)) -> rule2)) -> rule4)) -> rule5))] @5: Gary is nice.[(((((((((((triple3) -> rule1)) -> rule2)) -> rule4)) -> rule5) ((triple3) -> rule1)) -> rule6))]