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