Anne is red. Bob is blue. Dave is young. Harry is blue. All blue things are young. If something is furry and not quiet then it is blue. If something is blue then it is furry. If Harry is blue and Harry is rough then Harry is red. If Harry is round then Harry is rough. All red things are round. All rough things are round. If something is round and not furry then it is rough.
Dave is not young.
@0: Anne is red.[(triple1)] Bob is blue.[(triple2)] Dave is young.[(triple3)] Harry is blue.[(triple4)] @1: Anne is round.[(((triple1) -> rule6))] Bob is furry.[(((triple2) -> rule3))] Bob is young.[(((triple2) -> rule1))] Harry is furry.[(((triple4) -> rule3))] Harry is young.[(((triple4) -> rule1))]