Dave gets red when he is mad and tends to act very cold. Eric is a young and nice man, and he is also very big shaped. People think Fred is nice and kind for someone so young.  Fred wears his favorite color green all the time. Red Harry is what folks call him, because he is quite red. Young and nice people have great big smiles. When a person can be described as blue, rough and round, you can call them nice at the same time. Nice green people and often blue with sadness. When someone feels cold, while being big and rough, they always turn out to be red. A blue and green colored person will be round in shape. A big and round shaped, blue person will be cold for sure.
Fred is not round.
@0: Dave is cold.[(triple2)] Dave is red.[(triple1)] Eric is big.[(triple5 OR ((triple3 triple4) -> rule1))] Eric is nice.[(triple4)] Eric is young.[(triple3)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is young.[(triple6)] Harry is red.[(triple10)] @1: Fred is big.[(((triple6 triple7) -> rule1))] Fred is blue.[(((triple9 triple7) -> rule3))] @2: Fred is round.[(((((triple9 triple7) -> rule3) triple9) -> rule5))] @3: Fred is cold.[(((((((triple9 triple7) -> rule3) triple9) -> rule5) ((triple9 triple7) -> rule3) ((triple6 triple7) -> rule1)) -> rule6))]