Charlie is furry. Charlie is young. Dave is nice. Erin is kind. Erin is not nice. Harry is blue. Harry is nice. Quiet, blue things are kind. If Dave is quiet then Dave is furry. If something is blue and not nice then it is quiet. If something is nice then it is quiet. All young, kind things are round. If something is nice and kind then it is young. If Dave is not blue then Dave is quiet. If something is round then it is not furry.
Charlie is round.
@0: Charlie is furry.[(triple1)] Charlie is young.[(triple2)] Dave is nice.[(triple3)] Erin is kind.[(triple4)] Erin is not nice.[(triple5)] Harry is blue.[(triple6)] Harry is nice.[(triple7)] @1: Dave is quiet.[(((triple3) -> rule4))] Harry is quiet.[(((triple7) -> rule4))] @2: Dave is furry.[(((((triple3) -> rule4)) -> rule2))] Harry is kind.[(((((triple7) -> rule4) triple6) -> rule1))] @3: Harry is young.[(((triple7 ((((triple7) -> rule4) triple6) -> rule1)) -> rule6))] @4: Harry is round.[(((((triple7 ((((triple7) -> rule4) triple6) -> rule1)) -> rule6) ((((triple7) -> rule4) triple6) -> rule1)) -> rule5))] @5: Harry is not furry.[(((((((triple7 ((((triple7) -> rule4) triple6) -> rule1)) -> rule6) ((((triple7) -> rule4) triple6) -> rule1)) -> rule5)) -> rule8))]