Bob is quiet. Erin is quiet. Fiona is cold. Gary is white. All white, cold people are quiet. Quiet people are white.
Bob is not quiet.
@0: Bob is quiet.[(triple1)] Erin is quiet.[(triple2)] Fiona is cold.[(triple3)] Gary is white.[(triple4)] @1: Bob is white.[(((triple1) -> rule2))] Erin is white.[(((triple2) -> rule2))]