Bob is quiet. Erin is blue. Fiona is quiet. Harry is kind. If someone is quiet then they are green. Quiet, green people are white. If Bob is white then Bob is cold.
Erin is blue.
@0: Bob is quiet.[(triple1)] Erin is blue.[(triple2)] Fiona is quiet.[(triple3)] Harry is kind.[(triple4)] @1: Bob is green.[(((triple1) -> rule1))] Fiona is green.[(((triple3) -> rule1))] @2: Bob is white.[(((triple1 ((triple1) -> rule1)) -> rule2))] Fiona is white.[(((triple3 ((triple3) -> rule1)) -> rule2))] @3: Bob is cold.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule3))]