Charlie is green. Charlie is quiet. Fiona is white. Blue, quiet things are kind. All quiet things are cold.
Charlie is cold.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Fiona is white.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule2))]