Bob is furry. Bob is green. Bob is quiet. Bob is rough. Bob is smart. Charlie is furry. Erin is furry. Erin is green. Erin is smart. Gary is green. Green things are smart.
Erin is green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5 OR ((triple2) -> rule1))] Charlie is furry.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is smart.[(triple9 OR ((triple8) -> rule1))] Gary is green.[(triple10)] @1: Gary is smart.[(((triple10) -> rule1))]