Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is white. Anne is young. Charlie is rough. Charlie is white. Charlie is young. All rough people are smart. If someone is rough then they are cold. Smart, green people are rough. All cold people are red. If someone is cold and red then they are rough. Red people are green.
Charlie is red.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule2) OR ((((triple5 triple2) -> rule3)) -> rule2) OR ((((triple5 ((triple3) -> rule6)) -> rule3)) -> rule2))] Anne is green.[(triple2 OR ((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((((triple4) -> rule2)) -> rule4)) -> rule6))] Anne is red.[(triple3 OR ((triple1) -> rule4) OR ((((triple4) -> rule2)) -> rule4) OR ((((((triple5 triple2) -> rule3)) -> rule2)) -> rule4))] Anne is rough.[(triple4 OR ((triple1 triple3) -> rule5) OR ((triple5 triple2) -> rule3) OR ((triple1 ((triple1) -> rule4)) -> rule5) OR ((triple5 ((triple3) -> rule6)) -> rule3) OR ((triple5 ((((triple1) -> rule4)) -> rule6)) -> rule3))] Anne is smart.[(triple5 OR ((triple4) -> rule1) OR ((((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule1))] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is rough.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] @1: Charlie is cold.[(((triple8) -> rule2))] Charlie is smart.[(((triple8) -> rule1))] @2: Charlie is red.[(((((triple8) -> rule2)) -> rule4))] @3: Charlie is green.[(((((((triple8) -> rule2)) -> rule4)) -> rule6))]