Charlie is a nice and red, but very kind person as soon as you meet him. Dave is known to be rough and green. Eric is blue just like his dog. Eric is rough and round enough for the dog to use him as an exercise wheel. Gary is considered to be a rather nice person who is also described as being kind, green and big. Nice blue people are often rough. A kind red person is also a blue person. Almost all of the young blue and red people I have seen are big as well. I see it all the time, nice big people make equal a cold person. People who are rough and nice and blue can be round. People that are blue, cold, and big, are rather rough.
Eric is not green.
@0: Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is green.[(triple5)] Dave is rough.[(triple4)] Eric is blue.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] @1: Charlie is blue.[(((triple3 triple1) -> rule2))] Gary is cold.[(((triple9 triple12) -> rule4))] @2: Charlie is rough.[(((triple2 ((triple3 triple1) -> rule2)) -> rule1))] @3: Charlie is round.[(((((triple2 ((triple3 triple1) -> rule2)) -> rule1) triple2 ((triple3 triple1) -> rule2)) -> rule5))]