Charlie is furry. Erin is furry. Erin is green. Erin is round. Erin is smart. Gary is furry. Harry is furry. Harry is rough. Harry is round. Harry is smart. All rough things are green. If something is furry and green then it is smart.
Gary is not smart.
@0: Charlie is furry.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5 OR ((triple2 triple3) -> rule2))] Gary is furry.[(triple6)] Harry is furry.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((triple7 ((triple8) -> rule1)) -> rule2))] @1: Harry is green.[(((triple8) -> rule1))]