Anne is big. Anne is blue. Anne is red. Anne is round. Anne is white. Charlie is big. Charlie is furry. Charlie is nice. Charlie is round. Charlie is white. Dave is white. Harry is big. Harry is blue. Harry is furry. Harry is round. If someone is round then they are white. All red people are round. Red people are nice. White people are red. If Harry is red then Harry is white. If Charlie is blue then Charlie is red. If Dave is blue and Dave is white then Dave is round. If someone is blue then they are furry.
Dave is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is red.[(triple3 OR ((triple5) -> rule4) OR ((((triple4) -> rule1)) -> rule4))] Anne is round.[(triple4 OR ((triple3) -> rule2) OR ((((triple5) -> rule4)) -> rule2))] Anne is white.[(triple5 OR ((triple4) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Charlie is big.[(triple6)] Charlie is furry.[(triple7)] Charlie is nice.[(triple8 OR ((((triple10) -> rule4)) -> rule3) OR ((((((triple9) -> rule1)) -> rule4)) -> rule3))] Charlie is round.[(triple9 OR ((((triple10) -> rule4)) -> rule2))] Charlie is white.[(triple10 OR ((triple9) -> rule1))] Dave is white.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is furry.[(triple14 OR ((triple13) -> rule8))] Harry is round.[(triple15)] @1: Anne is furry.[(((triple2) -> rule8))] Anne is nice.[(((triple3) -> rule3) OR ((((triple5) -> rule4)) -> rule3) OR ((((((triple4) -> rule1)) -> rule4)) -> rule3))] Charlie is red.[(((triple10) -> rule4) OR ((((triple9) -> rule1)) -> rule4))] Dave is red.[(((triple11) -> rule4))] Harry is white.[(((triple15) -> rule1))] @2: Dave is nice.[(((((triple11) -> rule4)) -> rule3))] Dave is round.[(((((triple11) -> rule4)) -> rule2))] Harry is red.[(((((triple15) -> rule1)) -> rule4))] @3: Harry is nice.[(((((((triple15) -> rule1)) -> rule4)) -> rule3))]