Anne is furry. Anne is round. Anne is not smart. Anne is young. Charlie is cold. Charlie is not furry. Charlie is round. Charlie is smart. Charlie is young. Dave is cold. Dave is furry. Dave is quiet. Dave is round. Dave is white. Dave is young. All young things are round. If something is white and not furry then it is not young. If something is furry and not young then it is quiet. If Dave is not round then Dave is not cold. If something is smart and furry then it is cold. If something is quiet and furry then it is cold. If Charlie is cold and Charlie is white then Charlie is not smart. If Anne is quiet then Anne is not cold.
Dave is not white.
@0: Anne is furry.[(triple1)] Anne is not smart.[(triple3)] Anne is round.[(triple2 OR ((triple4) -> rule1))] Anne is young.[(triple4)] Charlie is cold.[(triple5)] Charlie is not furry.[(triple6)] Charlie is round.[(triple7 OR ((triple9) -> rule1))] Charlie is smart.[(triple8)] Charlie is young.[(triple9)] Dave is cold.[(triple10 OR ((triple12 triple11) -> rule6))] Dave is furry.[(triple11)] Dave is quiet.[(triple12)] Dave is round.[(triple13 OR ((triple15) -> rule1))] Dave is white.[(triple14)] Dave is young.[(triple15)]