Bob is white. Erin is smart. Gary is red. If Bob is white then Bob is nice. If Erin is green then Erin is nice. If something is red and not quiet then it is young.
Gary is not young.
@0: Bob is white.[(triple1)] Erin is smart.[(triple2)] Gary is red.[(triple3)] @1: Bob is nice.[(((triple1) -> rule1))]