Charlie is furry. Charlie is round. Dave is smart. Harry is furry. Harry is kind. Harry is not smart. Harry is young. Kind things are not blue. Young, round things are furry. If Dave is kind then Dave is not young. All young things are kind. If something is rough and round then it is not young. All furry things are young. If something is young then it is round. If Dave is smart and Dave is furry then Dave is rough.
Charlie is kind.
@0: Charlie is furry.[(triple1)] Charlie is round.[(triple2 OR ((((triple1) -> rule6)) -> rule7))] Dave is smart.[(triple3)] Harry is furry.[(triple4 OR ((triple7 ((triple7) -> rule7)) -> rule2))] Harry is kind.[(triple5 OR ((triple7) -> rule4) OR ((((triple4) -> rule6)) -> rule4))] Harry is not smart.[(triple6)] Harry is young.[(triple7 OR ((triple4) -> rule6))] @1: Charlie is young.[(((triple1) -> rule6))] Harry is not blue.[(((triple5) -> rule1) OR ((((triple7) -> rule4)) -> rule1) OR ((((((triple4) -> rule6)) -> rule4)) -> rule1))] Harry is round.[(((triple7) -> rule7) OR ((((triple4) -> rule6)) -> rule7))] @2: Charlie is kind.[(((((triple1) -> rule6)) -> rule4))] @3: Charlie is not blue.[(((((((triple1) -> rule6)) -> rule4)) -> rule1))]