Erin is blue. Erin is green. Erin is smart. Harry is blue. Harry is green. Harry is smart. Harry is young. Young, green people are furry. All smart people are furry.
Erin is young.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is smart.[(triple3)] Harry is blue.[(triple4)] Harry is green.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)] @1: Erin is furry.[(((triple3) -> rule2))] Harry is furry.[(((triple6) -> rule2) OR ((triple7 triple5) -> rule1))]