Anne is red. Bob is smart. Charlie is young. Gary is round. Smart things are white. All smart, round things are not green. If something is red and round then it is green. If Bob is green then Bob is cold. Red, white things are cold. If Gary is round then Gary is red. If something is round and not green then it is young. If Gary is young and Gary is round then Gary is cold.
Anne is smart.
@0: Anne is red.[(triple1)] Bob is smart.[(triple2)] Charlie is young.[(triple3)] Gary is round.[(triple4)] @1: Bob is white.[(((triple2) -> rule1))] Gary is red.[(((triple4) -> rule6))] @2: Gary is green.[(((((triple4) -> rule6) triple4) -> rule3))]