Charlie is rough. Fiona is red. Gary is green. If something is round then it is smart. All green things are cold. If something is cold then it is rough. Red things are green. If something is red then it is not white. If something is round and not cold then it is not white.
Gary is red.
@0: Charlie is rough.[(triple1)] Fiona is red.[(triple2)] Gary is green.[(triple3)] @1: Fiona is green.[(((triple2) -> rule4))] Fiona is not white.[(((triple2) -> rule5))] Gary is cold.[(((triple3) -> rule2))] @2: Fiona is cold.[(((((triple2) -> rule4)) -> rule2))] Gary is rough.[(((((triple3) -> rule2)) -> rule3))] @3: Fiona is rough.[(((((((triple2) -> rule4)) -> rule2)) -> rule3))]