Dave is green. Erin is smart. All nice things are smart. If something is green and not red then it is smart. If Erin is round and Erin is not red then Erin is green. If Erin is smart then Erin is green. If Dave is round then Dave is not kind. Nice, round things are kind.
Dave is green.
@0: Dave is green.[(triple1)] Erin is smart.[(triple2)] @1: Erin is green.[(((triple2) -> rule4))]