Dave is red. Erin is green. Gary is green. Harry is rough. Blue, rough people are nice. Green people are blue. All rough people are red. Rough, furry people are nice. If someone is green and blue then they are smart. All nice, green people are furry.
Erin is green.
@0: Dave is red.[(triple1)] Erin is green.[(triple2)] Gary is green.[(triple3)] Harry is rough.[(triple4)] @1: Erin is blue.[(((triple2) -> rule2))] Gary is blue.[(((triple3) -> rule2))] Harry is red.[(((triple4) -> rule3))] @2: Erin is smart.[(((triple2 ((triple2) -> rule2)) -> rule5))] Gary is smart.[(((triple3 ((triple3) -> rule2)) -> rule5))]