If you meet Charlie, you'll notice that he is round, rough, red, kind and blue. Dave fits the description of round and rough while also being red and cold. Fred is a young person who often feels blue and cold. Nice people flushing red are always young. A rough person who is green will be round. Big green and young people are often nice. A big, cold, blue person is rough around the edges. Big and round young people are often nice. All rough people are big in some way. When you put together rough, red and big in the same person, they come out nice.
Gary is not round.
@0: Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Dave is cold.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] Fred is young.[(triple10)] @1: Charlie is big.[(((triple2) -> rule6))] Dave is big.[(((triple7) -> rule6))] @2: Charlie is nice.[(((triple3 triple2 ((triple2) -> rule6)) -> rule7))] Dave is nice.[(((triple8 triple7 ((triple7) -> rule6)) -> rule7))] @3: Charlie is young.[(((triple3 ((triple3 triple2 ((triple2) -> rule6)) -> rule7)) -> rule1))] Dave is young.[(((triple8 ((triple8 triple7 ((triple7) -> rule6)) -> rule7)) -> rule1))]