Anne is big. Anne is furry. Anne is quiet. Anne is white. Charlie is kind. Charlie is not quiet. Fiona is not big. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is white. If something is furry then it is kind. If Anne is quiet and Anne is cold then Anne is green. If something is white and quiet then it is green. All cold things are not quiet. If Charlie is quiet then Charlie is not cold. If Charlie is not big then Charlie is green. Quiet, green things are not cold. If Charlie is cold then Charlie is white.
Anne is not cold.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Charlie is kind.[(triple5)] Charlie is not quiet.[(triple6)] Fiona is cold.[(triple8)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is not big.[(triple7)] Fiona is not furry.[(triple9)] Fiona is white.[(triple12)] @1: Anne is green.[(((triple4 triple3) -> rule3))] Anne is kind.[(((triple2) -> rule1))] Fiona is not quiet.[(((triple8) -> rule4))] @2: Anne is not cold.[(((triple3 ((triple4 triple3) -> rule3)) -> rule7))]