Bob is green. Bob is nice. Bob is red. Bob is rough. Dave is nice. Dave is red. Dave is rough. Dave is white. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is white. All blue, red people are green. White, red people are blue. Big, blue people are green. All green, white people are big. White, red people are nice. All white, big people are red. All red, big people are white. If someone is red and big then they are green.
Bob is blue.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Dave is nice.[(triple5 OR ((triple8 triple6) -> rule5))] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Harry is big.[(triple9 OR ((triple11 triple15) -> rule4) OR ((((triple10 triple13) -> rule1) triple15) -> rule4) OR ((((((triple15 triple13) -> rule2) triple13) -> rule1) triple15) -> rule4))] Harry is blue.[(triple10 OR ((triple15 triple13) -> rule2) OR ((triple15 ((triple15 triple9) -> rule6)) -> rule2) OR ((((triple13 triple9) -> rule7) triple13) -> rule2) OR ((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2) OR ((triple15 ((triple15 ((triple11 triple15) -> rule4)) -> rule6)) -> rule2) OR ((((triple13 triple9) -> rule7) ((triple15 ((triple11 triple15) -> rule4)) -> rule6)) -> rule2))] Harry is green.[(triple11 OR ((triple10 triple13) -> rule1) OR ((triple13 triple9) -> rule8) OR ((triple9 triple10) -> rule3) OR ((triple10 ((triple15 triple9) -> rule6)) -> rule1) OR ((triple9 ((triple15 triple13) -> rule2)) -> rule3) OR ((((triple15 triple13) -> rule2) triple13) -> rule1) OR ((((triple15 triple9) -> rule6) triple9) -> rule8) OR ((((triple15 triple13) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((triple9 ((triple15 ((triple15 triple9) -> rule6)) -> rule2)) -> rule3) OR ((triple9 ((((triple13 triple9) -> rule7) triple13) -> rule2)) -> rule3) OR ((((triple15 ((triple15 triple9) -> rule6)) -> rule2) triple13) -> rule1) OR ((((((triple13 triple9) -> rule7) triple13) -> rule2) triple13) -> rule1) OR ((triple9 ((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2)) -> rule3) OR ((((triple15 ((triple15 triple9) -> rule6)) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((((((triple13 triple9) -> rule7) triple13) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2) triple13) -> rule1) OR ((((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2) ((triple15 triple9) -> rule6)) -> rule1))] Harry is nice.[(triple12 OR ((triple15 triple13) -> rule5) OR ((triple15 ((triple15 triple9) -> rule6)) -> rule5) OR ((((triple13 triple9) -> rule7) triple13) -> rule5) OR ((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule5) OR ((triple15 ((triple15 ((triple11 triple15) -> rule4)) -> rule6)) -> rule5) OR ((((triple13 triple9) -> rule7) ((triple15 ((triple11 triple15) -> rule4)) -> rule6)) -> rule5))] Harry is red.[(triple13 OR ((triple15 triple9) -> rule6) OR ((triple15 ((triple11 triple15) -> rule4)) -> rule6))] Harry is rough.[(triple14)] Harry is white.[(triple15 OR ((triple13 triple9) -> rule7))] @1: Dave is blue.[(((triple8 triple6) -> rule2))] @2: Dave is green.[(((((triple8 triple6) -> rule2) triple6) -> rule1))] @3: Dave is big.[(((((((triple8 triple6) -> rule2) triple6) -> rule1) triple8) -> rule4))]