Anne is young. Bob is not round. Dave is not cold. Fiona is smart. If something is cold then it is blue. If Dave is green then Dave is not cold. Young things are cold.
Anne is blue.
@0: Anne is young.[(triple1)] Bob is not round.[(triple2)] Dave is not cold.[(triple3)] Fiona is smart.[(triple4)] @1: Anne is cold.[(((triple1) -> rule3))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule1))]