Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is round. Anne is white. If someone is white then they are blue. If someone is blue and round then they are white. If someone is white and blue then they are cold.
Anne is cold.
@0: Anne is blue.[(triple1 OR ((triple7) -> rule1))] Anne is cold.[(triple2 OR ((triple7 triple1) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule3) OR ((((triple1 triple6) -> rule2) triple1) -> rule3) OR ((((triple1 triple6) -> rule2) ((triple7) -> rule1)) -> rule3))] Anne is furry.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple1 triple6) -> rule2))]