Bob is kind. Bob is white. Charlie is blue. Charlie is not green. Charlie is rough. Charlie is not white. Dave is green. Dave is kind. Gary is not blue. Gary is green. Gary is not kind. Gary is rough. All kind, nice things are white. Green things are nice. If something is blue then it is nice. If something is kind then it is green. If Gary is smart and Gary is nice then Gary is rough. Nice things are rough. If something is smart and blue then it is rough. If something is rough and not white then it is smart.
Bob is rough.
@0: Bob is kind.[(triple1)] Bob is white.[(triple2 OR ((triple1 ((((triple1) -> rule4)) -> rule2)) -> rule1))] Charlie is blue.[(triple3)] Charlie is not green.[(triple4)] Charlie is not white.[(triple6)] Charlie is rough.[(triple5 OR ((((triple3) -> rule3)) -> rule6))] Dave is green.[(triple7 OR ((triple8) -> rule4))] Dave is kind.[(triple8)] Gary is green.[(triple10)] Gary is not blue.[(triple9)] Gary is not kind.[(triple11)] Gary is rough.[(triple12 OR ((((triple10) -> rule2)) -> rule6))] @1: Bob is green.[(((triple1) -> rule4))] Charlie is nice.[(((triple3) -> rule3))] Charlie is smart.[(((triple5 triple6) -> rule8) OR ((((((triple3) -> rule3)) -> rule6) triple6) -> rule8))] Dave is nice.[(((triple7) -> rule2) OR ((((triple8) -> rule4)) -> rule2))] Gary is nice.[(((triple10) -> rule2))] @2: Bob is nice.[(((((triple1) -> rule4)) -> rule2))] Dave is rough.[(((((triple7) -> rule2)) -> rule6) OR ((((((triple8) -> rule4)) -> rule2)) -> rule6))] Dave is white.[(((triple8 ((triple7) -> rule2)) -> rule1) OR ((triple8 ((((triple8) -> rule4)) -> rule2)) -> rule1))] @3: Bob is rough.[(((((((triple1) -> rule4)) -> rule2)) -> rule6))]