Bob is rough. Bob is round. Gary is white. Young, cold things are white. If something is rough then it is cold.
Bob is not white.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Gary is white.[(triple3)] @1: Bob is cold.[(((triple1) -> rule2))]