Anne is nice. Anne is smart. Anne is white. Charlie is big. Charlie is smart. Gary is kind. Gary is young. Kind people are rough. All smart people are nice. Big, rough people are white. All smart, big people are white. Smart, nice people are kind. Rough, kind people are white.
Gary is not rough.
@0: Anne is nice.[(triple1 OR ((triple2) -> rule2))] Anne is smart.[(triple2)] Anne is white.[(triple3 OR ((((((triple2 triple1) -> rule5)) -> rule1) ((triple2 triple1) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule5)) -> rule1) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule1) ((triple2 triple1) -> rule5)) -> rule6) OR ((((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule1) ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6))] Charlie is big.[(triple4)] Charlie is smart.[(triple5)] Gary is kind.[(triple6)] Gary is young.[(triple7)] @1: Anne is kind.[(((triple2 triple1) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule5))] Charlie is nice.[(((triple5) -> rule2))] Charlie is white.[(((triple5 triple4) -> rule4) OR ((triple4 ((((triple5 ((triple5) -> rule2)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5 ((triple5) -> rule2)) -> rule5)) -> rule1) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule6))] Gary is rough.[(((triple6) -> rule1))] @2: Anne is rough.[(((((triple2 triple1) -> rule5)) -> rule1) OR ((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule1))] Charlie is kind.[(((triple5 ((triple5) -> rule2)) -> rule5))] Gary is white.[(((((triple6) -> rule1) triple6) -> rule6))] @3: Charlie is rough.[(((((triple5 ((triple5) -> rule2)) -> rule5)) -> rule1))]