Bob is nice. Charlie is smart. Gary is smart. Red, nice people are big. If someone is smart then they are red.
Gary is rough.
@0: Bob is nice.[(triple1)] Charlie is smart.[(triple2)] Gary is smart.[(triple3)] @1: Charlie is red.[(((triple2) -> rule2))] Gary is red.[(((triple3) -> rule2))]