Bob is green. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is white. If Bob is round and Bob is kind then Bob is nice. If someone is rough and white then they are kind. Round people are white. If Harry is round and Harry is nice then Harry is white. If someone is nice and red then they are rough. If someone is rough and kind then they are nice. Red, white people are nice. If someone is round and red then they are rough.
Bob is not nice.
@0: Bob is green.[(triple1)] Harry is green.[(triple2)] Harry is nice.[(triple3 OR ((triple4 triple7) -> rule7) OR ((triple4 ((triple6) -> rule3)) -> rule7) OR ((triple5 ((triple5 triple7) -> rule2)) -> rule6) OR ((((triple6 triple4) -> rule8) ((triple5 triple7) -> rule2)) -> rule6) OR ((triple5 ((triple5 ((triple6) -> rule3)) -> rule2)) -> rule6) OR ((triple5 ((((triple6 triple4) -> rule8) triple7) -> rule2)) -> rule6) OR ((triple5 ((((triple6 triple4) -> rule8) ((triple6) -> rule3)) -> rule2)) -> rule6) OR ((((triple6 triple4) -> rule8) ((triple5 ((triple6) -> rule3)) -> rule2)) -> rule6) OR ((((triple6 triple4) -> rule8) ((((triple6 triple4) -> rule8) triple7) -> rule2)) -> rule6) OR ((((triple6 triple4) -> rule8) ((((triple6 triple4) -> rule8) ((triple6) -> rule3)) -> rule2)) -> rule6))] Harry is red.[(triple4)] Harry is rough.[(triple5 OR ((triple3 triple4) -> rule5) OR ((triple6 triple4) -> rule8) OR ((((triple4 triple7) -> rule7) triple4) -> rule5) OR ((((triple4 ((triple6) -> rule3)) -> rule7) triple4) -> rule5))] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple6) -> rule3) OR ((triple6 triple3) -> rule4))] @1: Harry is kind.[(((triple5 triple7) -> rule2) OR ((triple5 ((triple6) -> rule3)) -> rule2) OR ((triple5 ((triple6 triple3) -> rule4)) -> rule2) OR ((((triple3 triple4) -> rule5) triple7) -> rule2) OR ((((triple6 triple4) -> rule8) triple7) -> rule2) OR ((((triple3 triple4) -> rule5) ((triple6) -> rule3)) -> rule2) OR ((((triple3 triple4) -> rule5) ((triple6 triple3) -> rule4)) -> rule2) OR ((((triple6 triple4) -> rule8) ((triple6) -> rule3)) -> rule2) OR ((((triple6 triple4) -> rule8) ((triple6 triple3) -> rule4)) -> rule2) OR ((((((triple4 triple7) -> rule7) triple4) -> rule5) triple7) -> rule2) OR ((((((triple4 triple7) -> rule7) triple4) -> rule5) ((triple6) -> rule3)) -> rule2) OR ((((((triple4 triple7) -> rule7) triple4) -> rule5) ((triple6 triple3) -> rule4)) -> rule2) OR ((((((triple4 ((triple6) -> rule3)) -> rule7) triple4) -> rule5) triple7) -> rule2) OR ((((((triple4 ((triple6) -> rule3)) -> rule7) triple4) -> rule5) ((triple6) -> rule3)) -> rule2) OR ((((((triple4 ((triple6) -> rule3)) -> rule7) triple4) -> rule5) ((triple6 triple3) -> rule4)) -> rule2))]