Anne is cold. Anne is furry. Anne is quiet. Anne is round. Anne is smart. Bob is quiet. Dave is furry. Dave is quiet. Dave is round. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is smart. Fiona is white. Round, young things are smart. Cold things are quiet. If something is white then it is smart.
Dave is not white.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule2))] Anne is round.[(triple4)] Anne is smart.[(triple5)] Bob is quiet.[(triple6)] Dave is furry.[(triple7)] Dave is quiet.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] Dave is young.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is smart.[(triple14 OR ((triple15) -> rule3))] Fiona is white.[(triple15)] @1: Dave is smart.[(((triple10) -> rule3) OR ((triple9 triple11) -> rule1))] Fiona is quiet.[(((triple12) -> rule2))]