Anne is rough. Dave is smart. Gary is cold. Rough things are white.
Gary is quiet.
@0: Anne is rough.[(triple1)] Dave is smart.[(triple2)] Gary is cold.[(triple3)] @1: Anne is white.[(((triple1) -> rule1))]