Anne is nice. Anne is white. Charlie is big. Charlie is blue. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Harry is big. Harry is blue. Harry is nice. Harry is red. If something is cold then it is white. If something is red then it is cold.
Anne is round.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4)] Charlie is nice.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Charlie is white.[(triple8 OR ((((triple6) -> rule2)) -> rule1))] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12)] @1: Charlie is cold.[(((triple6) -> rule2))] Harry is cold.[(((triple12) -> rule2))] @2: Harry is white.[(((((triple12) -> rule2)) -> rule1))]