Charlie can be rough and cold, but he is also green, an avid gardener. Eric is green, but often kind, even when he is blue and cold. The young person who is always feeling cold is named Fred. Gary is kind and nice and looks green. If a kind person is green and a bit blue then they are also nice. A blue colored person who is nice is a red person. A person who is kind and rough and blue is young. If someone is cold and blue, you will find that they are also quite young. A person who is green, blue, and red in color will be round shaped.
Charlie is not blue.
@0: Charlie is cold.[(triple3)] Charlie is green.[(triple2)] Charlie is rough.[(triple1)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Fred is cold.[(triple9)] Fred is young.[(triple8)] Gary is green.[(triple12)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] @1: Eric is nice.[(((triple5 triple4 triple7) -> rule1))] Eric is young.[(((triple7 triple6) -> rule4))] @2: Eric is red.[(((((triple5 triple4 triple7) -> rule1) triple7) -> rule2))] @3: Eric is round.[(((triple5 triple7 ((((triple5 triple4 triple7) -> rule1) triple7) -> rule2)) -> rule5))]