Charlie is furry. Charlie is young. Erin is blue. Erin is furry. Gary is smart. Gary is white. Harry is furry. All furry, young things are white. All furry things are smart. Big things are furry. Smart things are young. Big things are rough. All white things are young.
Erin is not furry.
@0: Charlie is furry.[(triple1)] Charlie is young.[(triple2 OR ((((triple1) -> rule2)) -> rule4))] Erin is blue.[(triple3)] Erin is furry.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Harry is furry.[(triple7)] @1: Charlie is smart.[(((triple1) -> rule2))] Charlie is white.[(((triple1 triple2) -> rule1) OR ((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule1))] Erin is smart.[(((triple4) -> rule2))] Gary is young.[(((triple5) -> rule4) OR ((triple6) -> rule6))] Harry is smart.[(((triple7) -> rule2))] @2: Erin is young.[(((((triple4) -> rule2)) -> rule4))] Harry is young.[(((((triple7) -> rule2)) -> rule4))] @3: Erin is white.[(((triple4 ((((triple4) -> rule2)) -> rule4)) -> rule1))] Harry is white.[(((triple7 ((((triple7) -> rule2)) -> rule4)) -> rule1))]