Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is round. Charlie is green. Charlie is round. If someone is big then they are cold. If someone is green and round then they are big. All red people are cold.
Charlie is not blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple4) -> rule3) OR ((((triple3 triple5) -> rule2)) -> rule1))] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Charlie is green.[(triple6)] Charlie is round.[(triple7)] @1: Anne is big.[(((triple3 triple5) -> rule2))] Charlie is big.[(((triple6 triple7) -> rule2))] @2: Charlie is cold.[(((((triple6 triple7) -> rule2)) -> rule1))]