Red Alan is what folks call him, because he is quite red. Most people see Charlie as round, albeit nice and big at the same time. Eric is a person both green and big. Fred always goes out of his way to show that he is kind to people. Find someone cold and green. If they are also round, then they are sure to be nice. Someone who is round in shape and green in color is usually cold. Someone might be red but blue from the cold dressing in green. A person who is green and rough and round is also young. Big people are also round people. A green and quite rough person will also be blue. If you ever find someone who's nice, rough, and blue, expect them to also be green.
Eric is not nice.
@0: Alan is red.[(triple1)] Charlie is big.[(triple4)] Charlie is nice.[(triple3)] Charlie is round.[(triple2 OR ((triple4) -> rule5))] Eric is big.[(triple6)] Eric is green.[(triple5)] Fred is kind.[(triple7)] @1: Eric is round.[(((triple6) -> rule5))] @2: Eric is cold.[(((triple5 ((triple6) -> rule5)) -> rule2))] @3: Eric is nice.[(((((triple5 ((triple6) -> rule5)) -> rule2) triple5 ((triple6) -> rule5)) -> rule1))]