Bob is green. Bob is white. Fiona is quiet. All rough people are white. If Fiona is quiet and Fiona is smart then Fiona is red. If someone is quiet then they are smart.
Bob is not cold.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule3))] @2: Fiona is red.[(((triple3 ((triple3) -> rule3)) -> rule2))]