Anne is red. Anne is young. Charlie is smart. Dave is furry. Dave is kind. Harry is furry. Harry is smart. If something is young then it is smart. All red things are kind. Furry things are young. If something is rough then it is smart. If Harry is furry and Harry is blue then Harry is young. Smart things are blue. Kind things are furry. If Harry is blue and Harry is kind then Harry is red.
Charlie is not young.
@0: Anne is red.[(triple1)] Anne is young.[(triple2 OR ((((((triple1) -> rule2)) -> rule7)) -> rule3))] Charlie is smart.[(triple3)] Dave is furry.[(triple4 OR ((triple5) -> rule7))] Dave is kind.[(triple5)] Harry is furry.[(triple6)] Harry is smart.[(triple7 OR ((((triple6) -> rule3)) -> rule1))] @1: Anne is kind.[(((triple1) -> rule2))] Anne is smart.[(((triple2) -> rule1) OR ((((((((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule1))] Charlie is blue.[(((triple3) -> rule6))] Dave is young.[(((triple4) -> rule3) OR ((((triple5) -> rule7)) -> rule3))] Harry is blue.[(((triple7) -> rule6) OR ((((((triple6) -> rule3)) -> rule1)) -> rule6))] Harry is young.[(((triple6) -> rule3) OR ((triple6 ((triple7) -> rule6)) -> rule5))] @2: Anne is blue.[(((((triple2) -> rule1)) -> rule6) OR ((((((((((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule1)) -> rule6))] Anne is furry.[(((((triple1) -> rule2)) -> rule7))] Dave is smart.[(((((triple4) -> rule3)) -> rule1) OR ((((((triple5) -> rule7)) -> rule3)) -> rule1))] @3: Dave is blue.[(((((((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple5) -> rule7)) -> rule3)) -> rule1)) -> rule6))]