Bob is nice. Charlie is green. Gary is smart. Harry is red. If someone is nice then they are smart. All rough people are nice. Quiet, smart people are red.
Gary is not red.
@0: Bob is nice.[(triple1)] Charlie is green.[(triple2)] Gary is smart.[(triple3)] Harry is red.[(triple4)] @1: Bob is smart.[(((triple1) -> rule1))]