Anne is round. Dave is furry. Gary is round. Harry is not round. Furry things are young. Big things are smart. If something is smart and not rough then it is big. All furry, young things are big. If something is furry and not round then it is big. If something is smart and not young then it is big.
Gary is not kind.
@0: Anne is round.[(triple1)] Dave is furry.[(triple2)] Gary is round.[(triple3)] Harry is not round.[(triple4)] @1: Dave is young.[(((triple2) -> rule1))] @2: Dave is big.[(((triple2 ((triple2) -> rule1)) -> rule4))] @3: Dave is smart.[(((((triple2 ((triple2) -> rule1)) -> rule4)) -> rule2))]