Bob is blue. Bob is white. Gary is quiet. Quiet things are young.
Bob is not young.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is young.[(((triple3) -> rule1))]