Anne is green. Bob is green. Charlie is white. White people are smart. If someone is smart and round then they are cold. If Charlie is not green then Charlie is kind. All smart people are round. If someone is smart and cold then they are white. If someone is cold and not kind then they are nice.
Anne is not cold.
@0: Anne is green.[(triple1)] Bob is green.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is smart.[(((triple3) -> rule1))] @2: Charlie is round.[(((((triple3) -> rule1)) -> rule4))] @3: Charlie is cold.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule4)) -> rule2))]