Dave is big. Dave is kind. Dave is nice. Dave is white. Harry is big. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is white. All kind, smart people are nice. All kind, nice people are rough. If someone is kind and big then they are rough. If someone is white then they are kind. White, nice people are kind. If someone is rough and nice then they are smart. Kind people are white. Kind, nice people are quiet.
Dave is big.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2 OR ((triple4) -> rule4) OR ((triple4 triple3) -> rule5))] Dave is nice.[(triple3)] Dave is white.[(triple4 OR ((triple2) -> rule7))] Harry is big.[(triple5)] Harry is kind.[(triple6 OR ((triple10) -> rule4) OR ((triple10 triple7) -> rule5))] Harry is nice.[(triple7)] Harry is quiet.[(triple8 OR ((triple6 triple7) -> rule8) OR ((((triple10) -> rule4) triple7) -> rule8) OR ((((triple10 triple7) -> rule5) triple7) -> rule8))] Harry is rough.[(triple9 OR ((triple6 triple5) -> rule3) OR ((triple6 triple7) -> rule2) OR ((((triple10) -> rule4) triple5) -> rule3) OR ((((triple10) -> rule4) triple7) -> rule2) OR ((((triple10 triple7) -> rule5) triple5) -> rule3) OR ((((triple10 triple7) -> rule5) triple7) -> rule2))] Harry is white.[(triple10 OR ((triple6) -> rule7))] @1: Dave is quiet.[(((triple2 triple3) -> rule8) OR ((((triple4) -> rule4) triple3) -> rule8) OR ((((triple4 triple3) -> rule5) triple3) -> rule8))] Dave is rough.[(((triple2 triple1) -> rule3) OR ((triple2 triple3) -> rule2) OR ((((triple4) -> rule4) triple1) -> rule3) OR ((((triple4) -> rule4) triple3) -> rule2) OR ((((triple4 triple3) -> rule5) triple1) -> rule3) OR ((((triple4 triple3) -> rule5) triple3) -> rule2))] Harry is smart.[(((triple9 triple7) -> rule6) OR ((((triple6 triple5) -> rule3) triple7) -> rule6) OR ((((triple6 triple7) -> rule2) triple7) -> rule6) OR ((((((triple10) -> rule4) triple5) -> rule3) triple7) -> rule6) OR ((((((triple10) -> rule4) triple7) -> rule2) triple7) -> rule6) OR ((((((triple10 triple7) -> rule5) triple5) -> rule3) triple7) -> rule6) OR ((((((triple10 triple7) -> rule5) triple7) -> rule2) triple7) -> rule6))] @2: Dave is smart.[(((((triple2 triple1) -> rule3) triple3) -> rule6) OR ((((triple2 triple3) -> rule2) triple3) -> rule6) OR ((((((triple4) -> rule4) triple1) -> rule3) triple3) -> rule6) OR ((((((triple4) -> rule4) triple3) -> rule2) triple3) -> rule6) OR ((((((triple4 triple3) -> rule5) triple1) -> rule3) triple3) -> rule6) OR ((((((triple4 triple3) -> rule5) triple3) -> rule2) triple3) -> rule6))]