Anne is not big. Anne is not furry. Anne is red. Anne is smart. Anne is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is not quiet. Charlie is white. Dave is big. Dave is cold. Dave is quiet. Dave is not white. Fiona is cold. Fiona is not white. If someone is white and not quiet then they are red.
Anne is not smart.
@0: Anne is not big.[(triple1)] Anne is not furry.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Charlie is big.[(triple6)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8)] Charlie is not quiet.[(triple9)] Charlie is white.[(triple10)] Dave is big.[(triple11)] Dave is cold.[(triple12)] Dave is not white.[(triple14)] Dave is quiet.[(triple13)] Fiona is cold.[(triple15)] Fiona is not white.[(triple16)] @1: Charlie is red.[(((triple10 triple9) -> rule1))]