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