Anne is big. Anne is blue. Anne is cold. Anne is quiet. Anne is red. Anne is round. Anne is white. If something is round then it is cold. If something is round and blue then it is big.
Anne is blue.
@0: Anne is big.[(triple1 OR ((triple6 triple2) -> rule2))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple6) -> rule1))] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)]