Anne is furry. Anne is kind. Charlie is red. Charlie is round. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is young. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is round. Harry is white. Harry is young. If Harry is round then Harry is green. All red, white people are round. If Harry is round then Harry is young. If someone is kind and young then they are green. If Harry is furry then Harry is green. If Fiona is furry then Fiona is red.
Harry is not white.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is red.[(triple7 OR ((triple5) -> rule6))] Fiona is round.[(triple8)] Fiona is young.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11 OR ((triple10) -> rule5) OR ((triple14) -> rule1) OR ((triple12 triple16) -> rule4) OR ((((triple13 triple15) -> rule2)) -> rule1) OR ((triple12 ((triple14) -> rule3)) -> rule4) OR ((triple12 ((((triple13 triple15) -> rule2)) -> rule3)) -> rule4))] Harry is kind.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((triple13 triple15) -> rule2))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple14) -> rule3) OR ((((triple13 triple15) -> rule2)) -> rule3))]