Anne is cold. Anne is red. Anne is white. Charlie is cold. Charlie is green. Charlie is red. Harry is white. If something is green then it is blue. Cold things are green. If something is white and red then it is nice. White things are cold. If something is blue then it is round. Red things are blue.
Charlie is nice.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule4))] Anne is red.[(triple2)] Anne is white.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5 OR ((triple4) -> rule2))] Charlie is red.[(triple6)] Harry is white.[(triple7)] @1: Anne is blue.[(((triple2) -> rule6) OR ((((triple1) -> rule2)) -> rule1) OR ((((((triple3) -> rule4)) -> rule2)) -> rule1))] Anne is green.[(((triple1) -> rule2) OR ((((triple3) -> rule4)) -> rule2))] Anne is nice.[(((triple3 triple2) -> rule3))] Charlie is blue.[(((triple5) -> rule1) OR ((triple6) -> rule6) OR ((((triple4) -> rule2)) -> rule1))] Harry is cold.[(((triple7) -> rule4))] @2: Anne is round.[(((((triple2) -> rule6)) -> rule5) OR ((((((triple1) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule2)) -> rule1)) -> rule5))] Charlie is round.[(((((triple5) -> rule1)) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((((triple4) -> rule2)) -> rule1)) -> rule5))] Harry is green.[(((((triple7) -> rule4)) -> rule2))] @3: Harry is blue.[(((((((triple7) -> rule4)) -> rule2)) -> rule1))] @4: Harry is round.[(((((((((triple7) -> rule4)) -> rule2)) -> rule1)) -> rule5))]