Even though he's young and green, Bob is rough. Charlie was born only a few years ago so he is young. Dave ate some rotten meat and now feels green. Gary has a round face and is very nice. If a person is blue, rough, and green, then they are also big. Among the green people who are young, the color blue is always part of them. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. People who are young and green are also kind. Young and nice people are ultimately cold. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is not red.
@0: Bob is green.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is young.[(triple4)] Dave is green.[(triple5)] Gary is nice.[(triple7)] Gary is round.[(triple6)] @1: Bob is blue.[(((triple3 triple1) -> rule2))] Bob is kind.[(((triple1 triple3) -> rule4))] @2: Bob is big.[(((((triple3 triple1) -> rule2) triple2 triple3) -> rule1))] @3: Bob is nice.[(((((triple3 triple1) -> rule2) triple2 ((((triple3 triple1) -> rule2) triple2 triple3) -> rule1)) -> rule6))] @4: Bob is cold.[(((triple1 ((((triple3 triple1) -> rule2) triple2 ((((triple3 triple1) -> rule2) triple2 triple3) -> rule1)) -> rule6)) -> rule5))]