Charlie is blue. Fiona is round. If Charlie is blue then Charlie is white. Round people are white. All nice, round people are cold. If Fiona is blue then Fiona is cold. If someone is smart and blue then they are white. White people are nice.
Charlie is not cold.
@0: Charlie is blue.[(triple1)] Fiona is round.[(triple2)] @1: Charlie is white.[(((triple1) -> rule1))] Fiona is white.[(((triple2) -> rule2))] @2: Charlie is nice.[(((((triple1) -> rule1)) -> rule6))] Fiona is nice.[(((((triple2) -> rule2)) -> rule6))] @3: Fiona is cold.[(((((((triple2) -> rule2)) -> rule6) triple2) -> rule3))]