Anne is not furry. Bob is furry. Dave is red. Gary is round. If something is nice then it is round. If Anne is not round and Anne is not nice then Anne is furry. If something is furry and red then it is kind. If something is red then it is young. All kind, nice things are not young. Young things are furry. If something is nice and smart then it is furry. Nice things are not furry.
Gary is kind.
@0: Anne is not furry.[(triple1)] Bob is furry.[(triple2)] Dave is red.[(triple3)] Gary is round.[(triple4)] @1: Dave is young.[(((triple3) -> rule4))] @2: Dave is furry.[(((((triple3) -> rule4)) -> rule6))] @3: Dave is kind.[(((((((triple3) -> rule4)) -> rule6) triple3) -> rule3))]