Anne is red. Anne is young. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. If someone is young then they are green. If Anne is blue then Anne is cold. All blue, red people are nice. All young, red people are blue. All cold, green people are young. Blue people are cold. All cold people are blue. If someone is young then they are nice.
Anne is kind.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3 OR ((triple4) -> rule7) OR ((((triple4 triple5) -> rule5) triple7) -> rule4))] Charlie is cold.[(triple4 OR ((triple3) -> rule6))] Charlie is green.[(triple5)] Charlie is nice.[(triple6 OR ((triple3 triple7) -> rule3) OR ((((triple4 triple5) -> rule5)) -> rule8) OR ((((triple4) -> rule7) triple7) -> rule3) OR ((((((triple3) -> rule6) triple5) -> rule5)) -> rule8) OR ((((((triple4 triple5) -> rule5) triple7) -> rule4) triple7) -> rule3))] Charlie is red.[(triple7)] @1: Anne is blue.[(((triple2 triple1) -> rule4))] Anne is green.[(((triple2) -> rule1))] Anne is nice.[(((triple2) -> rule8) OR ((((triple2 triple1) -> rule4) triple1) -> rule3))] Charlie is young.[(((triple4 triple5) -> rule5) OR ((((triple3) -> rule6) triple5) -> rule5))] @2: Anne is cold.[(((((triple2 triple1) -> rule4)) -> rule2) OR ((((triple2 triple1) -> rule4)) -> rule6))]