Anne is cold. Anne is quiet. Anne is round. Anne is smart. Anne is white. Charlie is cold. Charlie is furry. Charlie is not round. Charlie is smart. Charlie is young. Fiona is round. Fiona is smart. Fiona is white. Harry is not quiet. Harry is not round. Harry is not white. Young, round things are furry. Quiet, smart things are white. If something is young and not smart then it is white. If something is cold then it is white. If something is quiet then it is young. If Charlie is smart then Charlie is white.
Fiona is not furry.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple1) -> rule4) OR ((triple2 triple4) -> rule2))] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is not round.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13)] Harry is not quiet.[(triple14)] Harry is not round.[(triple15)] Harry is not white.[(triple16)] @1: Anne is young.[(((triple2) -> rule5))] Charlie is white.[(((triple6) -> rule4) OR ((triple9) -> rule6))] @2: Anne is furry.[(((((triple2) -> rule5) triple3) -> rule1))]