Alan has a round face and is very nice. Dave is big and dresses in blue. One day Gary, a very nice old man with green ears, asked if I was as cold a block of ice. I said no but that I had heard that round people like him are cold blooded. That guy Harry is big, but he's always kind to little ones. Nice blue people are often rough. As far as anyone can tell, whoever is kind, rough, and big is a round person. If red and slightly green people are asked, they will tell you they feel blue. Being kind and young means that if they are also blue, they are always red. There are so many rough, young people and for some reason they are all big too. If a person has round shape then they are also green and red.
Dave is not cold.
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Dave is big.[(triple4)] Dave is blue.[(triple3)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Gary is round.[(triple5)] Harry is big.[(triple10)] Harry is kind.[(triple9)] @1: Gary is red.[(((triple7 triple5) -> rule6))] @2: Gary is blue.[(((triple7 ((triple7 triple5) -> rule6)) -> rule3))] @3: Gary is rough.[(((triple6 ((triple7 ((triple7 triple5) -> rule6)) -> rule3)) -> rule1))]