Anne is blue. Anne is kind. Anne is nice. Charlie is red. Erin is kind. Erin is young. Harry is nice. Red things are young. If something is red then it is nice. If something is cold then it is kind. If Harry is cold and Harry is nice then Harry is furry. All blue things are red. All furry, nice things are kind. If something is nice then it is young. If something is furry then it is kind.
Anne is nice.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((((triple1) -> rule5)) -> rule2))] Charlie is red.[(triple4)] Erin is kind.[(triple5)] Erin is young.[(triple6)] Harry is nice.[(triple7)] @1: Anne is red.[(((triple1) -> rule5))] Anne is young.[(((triple3) -> rule7) OR ((((triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule5)) -> rule2)) -> rule7))] Charlie is nice.[(((triple4) -> rule2))] Charlie is young.[(((triple4) -> rule1) OR ((((triple4) -> rule2)) -> rule7))] Harry is young.[(((triple7) -> rule7))]