Anne is not blue. Bob is kind. Bob is not nice. Dave is blue. Dave is kind. Dave is nice. Dave is round. Harry is green. Harry is not kind. Harry is nice. Harry is round. Harry is white. All kind people are white. All nice people are white. Nice people are green. Furry people are green. If someone is white and not kind then they are green. If someone is nice and not green then they are round.
Dave is not round.
@0: Anne is not blue.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3)] Dave is blue.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is round.[(triple7)] Harry is green.[(triple8 OR ((triple10) -> rule3) OR ((triple12 triple9) -> rule5) OR ((((triple10) -> rule2) triple9) -> rule5))] Harry is nice.[(triple10)] Harry is not kind.[(triple9)] Harry is round.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule2))] @1: Bob is white.[(((triple2) -> rule1))] Dave is green.[(((triple6) -> rule3))] Dave is white.[(((triple5) -> rule1) OR ((triple6) -> rule2))]