Anne is not cold. Anne is rough. Anne is white. Charlie is furry. Charlie is nice. Charlie is smart. Charlie is not white. Charlie is young. Fiona is furry. Fiona is not rough. If Fiona is furry and Fiona is not white then Fiona is nice. If someone is white then they are furry.
Charlie is young.
@0: Anne is not cold.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Charlie is not white.[(triple7)] Charlie is smart.[(triple6)] Charlie is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is not rough.[(triple10)] @1: Anne is furry.[(((triple3) -> rule2))]