Anne is cold. Charlie is green. Gary is round. Harry is green. If something is big and not green then it is not cold. If Anne is green and Anne is big then Anne is blue. If Charlie is red then Charlie is not round. If something is green and big then it is red. Green things are big. If Charlie is green and Charlie is blue then Charlie is not red.
Charlie is green.
@0: Anne is cold.[(triple1)] Charlie is green.[(triple2)] Gary is round.[(triple3)] Harry is green.[(triple4)] @1: Charlie is big.[(((triple2) -> rule5))] Harry is big.[(((triple4) -> rule5))] @2: Charlie is red.[(((triple2 ((triple2) -> rule5)) -> rule4))] Harry is red.[(((triple4 ((triple4) -> rule5)) -> rule4))] @3: Charlie is not round.[(((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3))]