Alan is rough, but often feels blue. He is pretty young. Charlie is big and round with red rosy cheeks. He is young and kind. Upon meeting Dave, you'll notice he's green and kind. They always call him rough Fred. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. Young, round, and cold people have a habit of looking pretty red. A nice and kind person who is big sized will be cold. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. An individual who is big and nice is also green. Whenever someone is kind as well as round and cold, they will definitely be blue.
Charlie is not blue.
@0: Alan is blue.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Charlie is red.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is green.[(triple10)] Dave is kind.[(triple9)] Fred is rough.[(triple11)] @1: Charlie is nice.[(((triple8 triple5 triple6) -> rule4))] @2: Charlie is cold.[(((((triple8 triple5 triple6) -> rule4) triple7 triple8) -> rule3))] Charlie is green.[(((triple8 ((triple8 triple5 triple6) -> rule4)) -> rule5))] @3: Charlie is blue.[(((triple7 triple5 ((((triple8 triple5 triple6) -> rule4) triple7 triple8) -> rule3)) -> rule6))]