Anne is blue. Anne is green. Anne is kind. Anne is smart. Anne is young. Charlie is blue. Charlie is kind. Charlie is rough. Charlie is young. Gary is nice. If someone is smart and blue then they are rough. If someone is rough and smart then they are blue. All nice people are green. Young people are green. If someone is kind then they are nice. If someone is smart then they are kind. All green, kind people are smart. Young, kind people are blue.
Charlie is not kind.
@0: Anne is blue.[(triple1 OR ((triple5 triple3) -> rule8) OR ((triple5 ((triple4) -> rule6)) -> rule8))] Anne is green.[(triple2 OR ((triple5) -> rule4) OR ((((triple3) -> rule5)) -> rule3) OR ((((((triple4) -> rule6)) -> rule5)) -> rule3))] Anne is kind.[(triple3 OR ((triple4) -> rule6))] Anne is smart.[(triple4 OR ((triple2 triple3) -> rule7) OR ((((triple5) -> rule4) triple3) -> rule7) OR ((((((triple3) -> rule5)) -> rule3) triple3) -> rule7))] Anne is young.[(triple5)] Charlie is blue.[(triple6 OR ((triple9 triple7) -> rule8) OR ((triple8 ((((triple9) -> rule4) triple7) -> rule7)) -> rule2) OR ((triple8 ((((((triple7) -> rule5)) -> rule3) triple7) -> rule7)) -> rule2))] Charlie is kind.[(triple7)] Charlie is rough.[(triple8 OR ((((((triple9) -> rule4) triple7) -> rule7) triple6) -> rule1) OR ((((((triple9) -> rule4) triple7) -> rule7) ((triple9 triple7) -> rule8)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule3) triple7) -> rule7) triple6) -> rule1) OR ((((((((triple7) -> rule5)) -> rule3) triple7) -> rule7) ((triple9 triple7) -> rule8)) -> rule1))] Charlie is young.[(triple9)] Gary is nice.[(triple10)] @1: Anne is nice.[(((triple3) -> rule5) OR ((((triple4) -> rule6)) -> rule5))] Anne is rough.[(((triple4 triple1) -> rule1) OR ((triple4 ((triple5 triple3) -> rule8)) -> rule1) OR ((((triple2 triple3) -> rule7) triple1) -> rule1) OR ((((triple2 triple3) -> rule7) ((triple5 triple3) -> rule8)) -> rule1) OR ((triple4 ((triple5 ((triple4) -> rule6)) -> rule8)) -> rule1) OR ((((((triple5) -> rule4) triple3) -> rule7) triple1) -> rule1) OR ((((triple2 triple3) -> rule7) ((triple5 ((triple4) -> rule6)) -> rule8)) -> rule1) OR ((((((triple5) -> rule4) triple3) -> rule7) ((triple5 triple3) -> rule8)) -> rule1) OR ((((((triple5) -> rule4) triple3) -> rule7) ((triple5 ((triple4) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule3) triple3) -> rule7) triple1) -> rule1) OR ((((((((triple3) -> rule5)) -> rule3) triple3) -> rule7) ((triple5 triple3) -> rule8)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule3) triple3) -> rule7) ((triple5 ((triple4) -> rule6)) -> rule8)) -> rule1))] Charlie is green.[(((triple9) -> rule4) OR ((((triple7) -> rule5)) -> rule3))] Charlie is nice.[(((triple7) -> rule5))] Gary is green.[(((triple10) -> rule3))] @2: Charlie is smart.[(((((triple9) -> rule4) triple7) -> rule7) OR ((((((triple7) -> rule5)) -> rule3) triple7) -> rule7))]