Anne is big. Anne is cold. Anne is kind. Anne is red. Charlie is big. Charlie is smart. Charlie is white. All red, white things are blue. Blue things are white. All kind, white things are red. If something is cold then it is white. If something is smart then it is big. If something is white then it is cold. Cold things are white. If something is blue and smart then it is cold.
Charlie is not blue.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple3 ((triple2) -> rule4)) -> rule3) OR ((triple3 ((triple2) -> rule7)) -> rule3))] Charlie is big.[(triple5 OR ((triple6) -> rule5))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] @1: Anne is white.[(((triple2) -> rule4) OR ((triple2) -> rule7))] Charlie is cold.[(((triple7) -> rule6))] @2: Anne is blue.[(((triple4 ((triple2) -> rule4)) -> rule1) OR ((triple4 ((triple2) -> rule7)) -> rule1) OR ((((triple3 ((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((((triple3 ((triple2) -> rule4)) -> rule3) ((triple2) -> rule7)) -> rule1) OR ((((triple3 ((triple2) -> rule7)) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((((triple3 ((triple2) -> rule7)) -> rule3) ((triple2) -> rule7)) -> rule1))]