Alan seems big and rough, but he's actually quite kind. Even though Charlie is round and big, he is very kind. Dave is green and cold too. That guy Eric sure is nice. Rough people who are red in color and big are usally round in shape. Big, kind folks are green ones. Kind red and round people often look green. When someone is blue, nice and young they will also be as big as the sun. When you run into someone who is rough and green at the same time, they will also be red.
Alan is not red.
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is kind.[(triple5)] Charlie is round.[(triple4)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Eric is nice.[(triple9)] @1: Alan is green.[(((triple3 triple2) -> rule2))] Charlie is green.[(((triple6 triple5) -> rule2))] @2: Alan is red.[(((triple1 ((triple3 triple2) -> rule2)) -> rule5))] @3: Alan is round.[(((((triple1 ((triple3 triple2) -> rule2)) -> rule5) triple1 triple3) -> rule1))]