When you meet Alan you'll the two characteristics that will standout is that he's red but also rough. Eric is a nice and red, but very kind person as soon as you meet him. Fred who is considered nice was feeling rather rough today. Gary is big and tends to wear red shirts. His cheeks were red from the cold, and his big blue eye were watering. People who are rough are young. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. Nice people are cold people.
Gary is not blue.
@0: Alan is red.[(triple2)] Alan is rough.[(triple1)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Gary is big.[(triple9)] Gary is red.[(triple8)] @1: Alan is young.[(((triple1) -> rule2))] Eric is cold.[(((triple4) -> rule4))] Fred is cold.[(((triple7) -> rule4))] Fred is young.[(((triple6) -> rule2))] @2: Eric is big.[(((((triple4) -> rule4) triple4) -> rule3))] Fred is big.[(((((triple7) -> rule4) triple7) -> rule3))] @3: Eric is blue.[(((triple3 ((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule1))]