Gary is red. Gary is rough. Gary is white. If Gary is quiet then Gary is white. White people are smart. If someone is rough and blue then they are red.
Gary is not blue.
@0: Gary is red.[(triple1)] Gary is rough.[(triple2)] Gary is white.[(triple3)] @1: Gary is smart.[(((triple3) -> rule2))]