Dave is big. Dave is green. Dave is not nice. Dave is rough. Dave is round. Dave is white. Harry is big. Harry is green. Harry is kind. Harry is rough. Harry is round. Harry is white. If someone is rough then they are green. If Harry is rough and Harry is kind then Harry is nice. If someone is kind then they are rough. If someone is green then they are rough. If someone is white then they are round. If someone is rough then they are white. If someone is green and not big then they are not nice. Rough, green people are kind.
Dave is kind.
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple4) -> rule1))] Dave is not nice.[(triple3)] Dave is rough.[(triple4 OR ((triple2) -> rule4))] Dave is round.[(triple5 OR ((triple6) -> rule5) OR ((((triple4) -> rule6)) -> rule5) OR ((((((triple2) -> rule4)) -> rule6)) -> rule5))] Dave is white.[(triple6 OR ((triple4) -> rule6) OR ((((triple2) -> rule4)) -> rule6))] Harry is big.[(triple7)] Harry is green.[(triple8 OR ((triple10) -> rule1) OR ((((triple9) -> rule3)) -> rule1))] Harry is kind.[(triple9 OR ((triple10 triple8) -> rule8) OR ((triple10 ((triple10) -> rule1)) -> rule8) OR ((((triple8) -> rule4) triple8) -> rule8) OR ((((triple8) -> rule4) ((triple10) -> rule1)) -> rule8))] Harry is rough.[(triple10 OR ((triple8) -> rule4) OR ((triple9) -> rule3))] Harry is round.[(triple11 OR ((triple12) -> rule5) OR ((((triple10) -> rule6)) -> rule5) OR ((((((triple8) -> rule4)) -> rule6)) -> rule5) OR ((((((triple9) -> rule3)) -> rule6)) -> rule5))] Harry is white.[(triple12 OR ((triple10) -> rule6) OR ((((triple8) -> rule4)) -> rule6) OR ((((triple9) -> rule3)) -> rule6))] @1: Dave is kind.[(((triple4 triple2) -> rule8) OR ((triple4 ((triple4) -> rule1)) -> rule8) OR ((((triple2) -> rule4) triple2) -> rule8) OR ((((triple2) -> rule4) ((triple4) -> rule1)) -> rule8))] Harry is nice.[(((triple10 triple9) -> rule2) OR ((triple10 ((triple10 triple8) -> rule8)) -> rule2) OR ((((triple8) -> rule4) triple9) -> rule2) OR ((((triple9) -> rule3) triple9) -> rule2) OR ((((triple8) -> rule4) ((triple10 triple8) -> rule8)) -> rule2) OR ((((triple9) -> rule3) ((triple10 triple8) -> rule8)) -> rule2) OR ((triple10 ((triple10 ((triple10) -> rule1)) -> rule8)) -> rule2) OR ((triple10 ((((triple8) -> rule4) triple8) -> rule8)) -> rule2) OR ((triple10 ((((triple8) -> rule4) ((triple10) -> rule1)) -> rule8)) -> rule2) OR ((((triple8) -> rule4) ((triple10 ((triple10) -> rule1)) -> rule8)) -> rule2) OR ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule8)) -> rule2) OR ((((triple9) -> rule3) ((triple10 ((triple10) -> rule1)) -> rule8)) -> rule2) OR ((((triple9) -> rule3) ((((triple8) -> rule4) triple8) -> rule8)) -> rule2) OR ((((triple8) -> rule4) ((((triple8) -> rule4) ((triple10) -> rule1)) -> rule8)) -> rule2) OR ((((triple9) -> rule3) ((((triple8) -> rule4) ((triple10) -> rule1)) -> rule8)) -> rule2))]