Dave is blue. Erin is green. Gary is round. All smart things are nice. If something is nice then it is smart. If something is blue then it is smart. Blue, young things are smart. If something is blue and not green then it is not quiet. If Erin is not young and Erin is not quiet then Erin is not round.
Dave is not nice.
@0: Dave is blue.[(triple1)] Erin is green.[(triple2)] Gary is round.[(triple3)] @1: Dave is smart.[(((triple1) -> rule3))] @2: Dave is nice.[(((((triple1) -> rule3)) -> rule1))]