Alan is a person both green and big. In the snow sits Bob, crying from being cold. Nice, but round, Gary has been said to be cold. Harry is big and rough. We called someone with green, round eyes, blue for some reason. All the big and young boys at the park are red. A round someone could be blue and round but maybe red. I've noticed that someone with a round shape is also green. Folks who are nice and young with red coloration tend to feel blue. A person who is kind but also rough and is also colored blue, will be shaped round. People who are red and green are also nice.
Gary is not blue.
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Bob is cold.[(triple3)] Gary is cold.[(triple6)] Gary is nice.[(triple5 OR ((((triple4) -> rule4) ((triple4 ((((triple4) -> rule4) triple4) -> rule1)) -> rule3)) -> rule7))] Gary is round.[(triple4)] Harry is big.[(triple8)] Harry is rough.[(triple7)] @1: Gary is green.[(((triple4) -> rule4))] @2: Gary is blue.[(((((triple4) -> rule4) triple4) -> rule1))] @3: Gary is red.[(((triple4 ((((triple4) -> rule4) triple4) -> rule1)) -> rule3))]