Charlie is white. Gary is green. Gary is white. If someone is smart then they are red. If Charlie is white then Charlie is green. Red people are white.
Charlie is white.
@0: Charlie is white.[(triple1)] Gary is green.[(triple2)] Gary is white.[(triple3)] @1: Charlie is green.[(((triple1) -> rule2))]