Bob is white. Erin is nice. Gary is quiet. If someone is smart then they are nice. If someone is quiet then they are smart.
Gary is nice.
@0: Bob is white.[(triple1)] Erin is nice.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is smart.[(((triple3) -> rule2))] @2: Gary is nice.[(((((triple3) -> rule2)) -> rule1))]