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