Anne is round. Bob is cold. Gary is furry. All cold, round people are rough. Round, kind people are blue. All kind people are round. Furry, green people are cold. If Anne is round then Anne is kind. If someone is round and blue then they are green. If someone is green and rough then they are cold. Furry, blue people are cold.
Gary is rough.
@0: Anne is round.[(triple1)] Bob is cold.[(triple2)] Gary is furry.[(triple3)] @1: Anne is kind.[(((triple1) -> rule5))] @2: Anne is blue.[(((triple1 ((triple1) -> rule5)) -> rule2))] @3: Anne is green.[(((triple1 ((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6))]