Anne is furry. Charlie is furry. Charlie is nice. Charlie is smart. Erin is furry. Erin is smart. Gary is nice. All nice things are furry. If something is furry then it is green. All green things are rough.
Erin is not rough.
@0: Anne is furry.[(triple1)] Charlie is furry.[(triple2 OR ((triple3) -> rule1))] Charlie is nice.[(triple3)] Charlie is smart.[(triple4)] Erin is furry.[(triple5)] Erin is smart.[(triple6)] Gary is nice.[(triple7)] @1: Anne is green.[(((triple1) -> rule2))] Charlie is green.[(((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Erin is green.[(((triple5) -> rule2))] Gary is furry.[(((triple7) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule3))] Charlie is rough.[(((((triple2) -> rule2)) -> rule3) OR ((((((triple3) -> rule1)) -> rule2)) -> rule3))] Erin is rough.[(((((triple5) -> rule2)) -> rule3))] Gary is green.[(((((triple7) -> rule1)) -> rule2))] @3: Gary is rough.[(((((((triple7) -> rule1)) -> rule2)) -> rule3))]