Alan is round shaped and green colored. Dave's a round guy, and a red and green guy. Eric is a nice person, but he is both blue and red. A round person who is cold is big. A kind and green person who is rough around the edges is cold. If you big person approaches and is cold, fear not because they are nice. When someone is nice, dressing in red, they can be blue because they are cold. Someone blue and red is definitely round and dressed as a clown. Round and big people are sure to be rough. Young,cold and blue people are mostly round.
Alan is not green.
@0: Alan is green.[(triple2)] Alan is round.[(triple1)] Dave is green.[(triple5)] Dave is red.[(triple4)] Dave is round.[(triple3)] Eric is blue.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6)] @1: Eric is cold.[(((triple7 triple8 triple6) -> rule4))] Eric is round.[(((triple8 triple6) -> rule5))] @2: Eric is big.[(((((triple7 triple8 triple6) -> rule4) ((triple8 triple6) -> rule5)) -> rule1))] @3: Eric is rough.[(((((triple8 triple6) -> rule5) ((((triple7 triple8 triple6) -> rule4) ((triple8 triple6) -> rule5)) -> rule1)) -> rule6))]