Anne is big. Anne is blue. Anne is not cold. Anne is not furry. Anne is quiet. Anne is red. Anne is young. Quiet people are big. Furry people are quiet. All furry people are blue. If someone is blue and not young then they are cold. If Anne is young then Anne is not cold. If Anne is not quiet then Anne is cold. If someone is big and not young then they are red. If Anne is not cold then Anne is big.
Anne is not furry.
@0: Anne is big.[(triple1 OR ((triple3) -> rule8) OR ((triple5) -> rule1) OR ((((triple7) -> rule5)) -> rule8))] Anne is blue.[(triple2)] Anne is not cold.[(triple3 OR ((triple7) -> rule5))] Anne is not furry.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is young.[(triple7)]