Alan is a nice person, but he is both blue and red. Charlie, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Dave wears all blue. When a young person has a round shape and feels blue, they will be green as well. A cold person who is round but rough around the edges is big. When someone is young and round, dressing in blue they can be nice. A person with a round body will be feeling very cold and will be rough to handle. Blue and red people who are young always have rough skin. Nice people are cold people. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is not kind.
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is green.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Dave is blue.[(triple8)] @1: Alan is cold.[(((triple2) -> rule6))] Charlie is cold.[(((triple5) -> rule6))] @2: Charlie is rough.[(((((triple5) -> rule6) triple4) -> rule4))] @3: Charlie is big.[(((triple4 ((triple5) -> rule6) ((((triple5) -> rule6) triple4) -> rule4)) -> rule2))]