Charlie's a round guy, and a red and green guy. Having a round body that is very big makes Eric a kind hearted person that often feels green. Round Fred is big and red, but blue from the cold. Red and green people that are nice are cold to strangers. A person that is cold, blue and nice is also considered to be round. Red, big people can't help but be round as well. Anybody who is so cold that they are red and blue must be young. Someone who is very rough and big in size, and also has a round physique tend to be very cold. Being green and rough are signs that someone is big. A person who is red and green, will also tend to be round shaped and rough.
Eric is not blue.
@0: Charlie is green.[(triple3)] Charlie is red.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple7)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is round.[(triple4)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is red.[(triple9)] Fred is round.[(triple8 OR ((triple9 triple12) -> rule3))] @1: Charlie is rough.[(((triple1 triple3 triple2) -> rule7))] Fred is young.[(((triple11 triple9 triple10) -> rule4))] @2: Charlie is big.[(((triple3 ((triple1 triple3 triple2) -> rule7)) -> rule6))] @3: Charlie is cold.[(((((triple1 triple3 triple2) -> rule7) ((triple3 ((triple1 triple3 triple2) -> rule7)) -> rule6) triple1) -> rule5))]