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