Dave is a nice person who is red because he has a rash. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Gary. Cold people with rough, green skin are young. I've noticed that someone who is big and acts cold towards others is green as well. Get out of the way if a red and green person walks up to you because they are rough. Red and kind people always seem to be big as well. A green colored and rough person will be quite kind. Blue, red and nice people are always big, too.
Gary is not big.
@0: Dave is nice.[(triple2)] Dave is red.[(triple1)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is kind.[(triple6)] Gary is red.[(triple5)] Gary is rough.[(triple4 OR ((triple5 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule3))] Gary is round.[(triple3)] @1: Gary is big.[(((triple5 triple6) -> rule4))] @2: Gary is green.[(((triple7 ((triple5 triple6) -> rule4)) -> rule2))] @3: Gary is young.[(((triple7 triple4 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((triple5 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule3) ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule1))]