Even though he's young and green, Eric is rough. Fred is known to be rough and green. Big Gary, the most blue guy I know while also being cold. Harry ate some rotten meat and now feels green. People that are big and cold are blue as well. There are so many rough, young people and for some reason they are all big too. A person who is red and green, will also tend to be round shaped and rough. Someone who is cold and big is also a red person. When someone is big, young and rough, they can be cold. Blue, red and nice people are always big, too.
Eric is not blue.
@0: Eric is green.[(triple3)] Eric is rough.[(triple2)] Eric is young.[(triple1)] Fred is green.[(triple5)] Fred is rough.[(triple4)] Gary is big.[(triple8)] Gary is blue.[(triple7 OR ((triple8 triple6) -> rule1))] Gary is cold.[(triple6)] Harry is green.[(triple9)] @1: Eric is big.[(((triple1 triple2) -> rule2))] Gary is red.[(((triple8 triple6) -> rule4))] @2: Eric is cold.[(((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5))] @3: Eric is blue.[(((((triple1 triple2) -> rule2) ((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5)) -> rule1))] Eric is red.[(((((triple1 triple2) -> rule2) ((triple2 triple1 ((triple1 triple2) -> rule2)) -> rule5)) -> rule4))]