Bob is round. Charlie is rough. Erin is white. Gary is round. Round, green things are cold. If something is furry and not rough then it is not young. Furry things are not white. White things are green. All round things are green. If something is green and not round then it is furry.
Bob is not cold.
@0: Bob is round.[(triple1)] Charlie is rough.[(triple2)] Erin is white.[(triple3)] Gary is round.[(triple4)] @1: Bob is green.[(((triple1) -> rule5))] Erin is green.[(((triple3) -> rule4))] Gary is green.[(((triple4) -> rule5))] @2: Bob is cold.[(((triple1 ((triple1) -> rule5)) -> rule1))] Gary is cold.[(((triple4 ((triple4) -> rule5)) -> rule1))]