Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is not smart. If something is furry then it is quiet. If something is kind and smart then it is cold. If Anne is quiet then Anne is cold.
Anne is not cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple6) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Anne is furry.[(triple4)] Anne is kind.[(triple5)] Anne is not smart.[(triple7)] Anne is quiet.[(triple6 OR ((triple4) -> rule1))]