Anne is blue. Anne is green. Anne is kind. Anne is rough. Anne is white. Anne is young. Bob is kind. Bob is white. Bob is young. Gary is blue. Gary is green. Gary is kind. Gary is rough. Gary is smart. Gary is white. Gary is young. Green people are rough. If Gary is kind then Gary is blue. All green people are blue. Young people are rough. If Anne is young and Anne is green then Anne is kind. If someone is rough and young then they are green.
Anne is not smart.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3) OR ((((triple4 triple6) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) triple6) -> rule6)) -> rule3))] Anne is green.[(triple2 OR ((triple4 triple6) -> rule6) OR ((((triple6) -> rule4) triple6) -> rule6))] Anne is kind.[(triple3 OR ((triple6 triple2) -> rule5) OR ((triple6 ((triple4 triple6) -> rule6)) -> rule5) OR ((triple6 ((((triple6) -> rule4) triple6) -> rule6)) -> rule5))] Anne is rough.[(triple4 OR ((triple2) -> rule1) OR ((triple6) -> rule4))] Anne is white.[(triple5)] Anne is young.[(triple6)] Bob is kind.[(triple7)] Bob is white.[(triple8)] Bob is young.[(triple9)] Gary is blue.[(triple10 OR ((triple11) -> rule3) OR ((triple12) -> rule2) OR ((((triple13 triple16) -> rule6)) -> rule3) OR ((((((triple16) -> rule4) triple16) -> rule6)) -> rule3))] Gary is green.[(triple11 OR ((triple13 triple16) -> rule6) OR ((((triple16) -> rule4) triple16) -> rule6))] Gary is kind.[(triple12)] Gary is rough.[(triple13 OR ((triple11) -> rule1) OR ((triple16) -> rule4))] Gary is smart.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Bob is rough.[(((triple9) -> rule4))] @2: Bob is green.[(((((triple9) -> rule4) triple9) -> rule6))] @3: Bob is blue.[(((((((triple9) -> rule4) triple9) -> rule6)) -> rule3))]