Anne is cold. Anne is furry. Anne is kind. Anne is round. Anne is smart. Anne is white. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is round. Charlie is white. Fiona is blue. Fiona is cold. Fiona is round. Fiona is white. All white things are kind.
Charlie is not smart.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple6) -> rule1))] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Charlie is blue.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10 OR ((triple12) -> rule1))] Charlie is round.[(triple11)] Charlie is white.[(triple12)] Fiona is blue.[(triple13)] Fiona is cold.[(triple14)] Fiona is round.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is kind.[(((triple16) -> rule1))]