Dave is blue. Dave is furry. Dave is not round. Dave is young. Harry is not big. Harry is blue. Harry is kind. If Harry is blue and Harry is big then Harry is young. If Dave is big then Dave is not young. If something is kind and not big then it is young. If Dave is smart and Dave is round then Dave is not blue. Young things are smart. If something is round and furry then it is smart. If something is big and not kind then it is round. If something is smart and not big then it is not furry.
Dave is not round.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is not round.[(triple3)] Dave is young.[(triple4)] Harry is blue.[(triple6)] Harry is kind.[(triple7)] Harry is not big.[(triple5)] @1: Dave is smart.[(((triple4) -> rule5))] Harry is young.[(((triple7 triple5) -> rule3))] @2: Harry is smart.[(((((triple7 triple5) -> rule3)) -> rule5))] @3: Harry is not furry.[(((((((triple7 triple5) -> rule3)) -> rule5) triple5) -> rule8))]