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