Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is white. If Anne is red then Anne is white.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is white.[(triple7 OR ((triple6) -> rule1))]