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