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