Anne is round. Charlie is round. Charlie is young. Cold, nice people are green. All round people are red. Cold people are nice. If someone is round and red then they are cold. Young people are cold. All green, cold people are round.
Charlie is red.
@0: Anne is round.[(triple1)] Charlie is round.[(triple2 OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule6))] Charlie is young.[(triple3)] @1: Anne is red.[(((triple1) -> rule2))] Charlie is cold.[(((triple3) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule4))] Charlie is red.[(((triple2) -> rule2) OR ((((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule6)) -> rule2))] @2: Anne is cold.[(((triple1 ((triple1) -> rule2)) -> rule4))] Charlie is nice.[(((((triple3) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule3))] @3: Anne is nice.[(((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule3))] Charlie is green.[(((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((triple2 ((triple2) -> rule2)) -> rule4) ((((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((triple3) -> rule5) ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule1) OR ((((triple2 ((triple2) -> rule2)) -> rule4) ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule1))] @4: Anne is green.[(((((triple1 ((triple1) -> rule2)) -> rule4) ((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule3)) -> rule1))]