Bob was born only a few years ago so he is young. Big red Charlie is a nice and round fellow who tends to be both green and rough. Upon meeting Eric, you'll notice he's green and kind. Gary who is big in stature is almost always nice even when he is cold. Red and green people that are nice are cold to strangers. Young people who are big, downhearted, and blue are kind. A cold and blue appearing person will be young as well. Big people that have a rough demeanor usually feel blue. A big person that is tattooed blue will be very nice.
Eric is young.
@0: Bob is young.[(triple1)] Charlie is big.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5 OR ((triple7 ((triple7 triple3) -> rule4)) -> rule5))] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Eric is green.[(triple9)] Eric is kind.[(triple8)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is nice.[(triple10)] @1: Charlie is blue.[(((triple7 triple3) -> rule4))] Charlie is cold.[(((triple4 triple5 triple6) -> rule1) OR ((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1))] @2: Charlie is young.[(((((triple4 triple5 triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3) OR ((((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3))] @3: Charlie is kind.[(((triple7 ((triple7 triple3) -> rule4) ((((triple4 triple5 triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple7 ((triple7 triple3) -> rule4) ((((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3)) -> rule2))]