Charlie is someone you could describe as young, round, cold, and blue. Young Dave is red, green and cold. Gary is very nice to people, but he's also rather big. Harry is a man who is both round and rough. Young, green round people are big. A person with a rough quality is also a person with a blue quality. Rough young folks are surprisingly kind. A big and blue colored person is also certainly very kind. A person who is round shaped while also being quite cold tends to be nice. Green people who are kind with rosy red skin are round. Young people that are also red and green, may be fairly rough, also.
Gary is blue.
@0: Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple5)] Gary is big.[(triple10)] Gary is nice.[(triple9)] Harry is rough.[(triple12)] Harry is round.[(triple11)] @1: Charlie is nice.[(((triple2 triple3) -> rule5))] Dave is rough.[(((triple6 triple7 triple5) -> rule7))] Harry is blue.[(((triple12) -> rule2))] @2: Dave is blue.[(((((triple6 triple7 triple5) -> rule7)) -> rule2))] Dave is kind.[(((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3))] @3: Dave is round.[(((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6))] @4: Dave is big.[(((triple7 triple5 ((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6)) -> rule1))] Dave is nice.[(((((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6) triple8) -> rule5))]