Anne is blue. Anne is nice. Anne is quiet. Anne is smart. Bob is furry. Bob is nice. Bob is quiet. All furry things are red. If something is quiet then it is nice. If something is furry then it is nice. If something is blue then it is nice. If something is smart then it is furry. Smart, red things are furry. If Anne is red then Anne is young. All furry things are blue.
Anne is not red.
@0: Anne is blue.[(triple1 OR ((((triple4) -> rule5)) -> rule8))] Anne is nice.[(triple2 OR ((triple1) -> rule4) OR ((triple3) -> rule2) OR ((((triple4) -> rule5)) -> rule3) OR ((((((triple4) -> rule5)) -> rule8)) -> rule4))] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Bob is furry.[(triple5)] Bob is nice.[(triple6 OR ((triple5) -> rule3) OR ((triple7) -> rule2) OR ((((triple5) -> rule8)) -> rule4))] Bob is quiet.[(triple7)] @1: Anne is furry.[(((triple4) -> rule5))] Bob is blue.[(((triple5) -> rule8))] Bob is red.[(((triple5) -> rule1))] @2: Anne is red.[(((((triple4) -> rule5)) -> rule1))] @3: Anne is young.[(((((((triple4) -> rule5)) -> rule1)) -> rule7))]