Charlie is furry. Charlie is kind. Charlie is quiet. Dave is furry. Dave is round. Dave is young. Harry is nice. Young people are quiet. If Dave is furry and Dave is quiet then Dave is kind. If Charlie is furry and Charlie is white then Charlie is nice. All furry, kind people are nice. If Charlie is young then Charlie is quiet. All kind, white people are furry.
Dave is kind.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Dave is furry.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6)] Harry is nice.[(triple7)] @1: Charlie is nice.[(((triple1 triple2) -> rule4))] Dave is quiet.[(((triple6) -> rule1))] @2: Dave is kind.[(((triple4 ((triple6) -> rule1)) -> rule2))] @3: Dave is nice.[(((triple4 ((triple4 ((triple6) -> rule1)) -> rule2)) -> rule4))]