Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is white. Anne is young. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is young. If Anne is cold then Anne is red. All green things are blue. Cold things are blue. Cold, nice things are blue. All green things are nice. If something is nice then it is cold. If something is young and not blue then it is not red. All blue, white things are red.
Charlie is not cold.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple3) -> rule2) OR ((triple2 ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5)) -> rule6)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6) ((triple3) -> rule5)) -> rule4))] Anne is cold.[(triple2 OR ((((triple3) -> rule5)) -> rule6))] Anne is green.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule1) OR ((triple1 triple5) -> rule8) OR ((((triple2) -> rule3) triple5) -> rule8) OR ((((triple3) -> rule2) triple5) -> rule8) OR ((((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple2 ((triple3) -> rule5)) -> rule4) triple5) -> rule8) OR ((((((((triple3) -> rule5)) -> rule6)) -> rule3) triple5) -> rule8) OR ((((((((triple3) -> rule5)) -> rule6) ((triple3) -> rule5)) -> rule4) triple5) -> rule8))] Anne is white.[(triple5)] Anne is young.[(triple6)] Charlie is blue.[(triple7 OR ((triple8) -> rule3) OR ((triple9) -> rule2) OR ((triple8 triple10) -> rule4) OR ((((triple10) -> rule6)) -> rule3) OR ((triple8 ((triple9) -> rule5)) -> rule4) OR ((((triple10) -> rule6) triple10) -> rule4) OR ((((triple10) -> rule6) ((triple9) -> rule5)) -> rule4) OR ((((((triple9) -> rule5)) -> rule6)) -> rule3) OR ((((((triple9) -> rule5)) -> rule6) triple10) -> rule4) OR ((((((triple9) -> rule5)) -> rule6) ((triple9) -> rule5)) -> rule4))] Charlie is cold.[(triple8 OR ((triple10) -> rule6) OR ((((triple9) -> rule5)) -> rule6))] Charlie is green.[(triple9)] Charlie is nice.[(triple10 OR ((triple9) -> rule5))] Charlie is red.[(triple11)] Charlie is young.[(triple12)] @1: Anne is nice.[(((triple3) -> rule5))]