Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is white. Cold things are furry. White things are nice.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple2) -> rule1))] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple7) -> rule2))] Anne is red.[(triple6)] Anne is white.[(triple7)] Charlie is big.[(triple8)] Charlie is cold.[(triple9)] Charlie is furry.[(triple10 OR ((triple9) -> rule1))] Charlie is kind.[(triple11)] Charlie is white.[(triple12)] @1: Charlie is nice.[(((triple12) -> rule2))]