Bob is young in age, round in form, wears blue and is rough. Charlie has been blue because he's green with envy. Gary is young, very kind and round.  He is rough but red and blue too. Round people who are kind and green with envy are young. When people are still young, the blue and round ones will also be a bit red. Rough, young people that are big are often nice. Just as you might expect, blue and red people are always big. Nice folks with blue and red coloration are fairly kind to others. When you meet a person who is cold and nice, you can bet they'll be kind too.
Bob is not nice.
@0: Bob is blue.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Gary is blue.[(triple12)] Gary is kind.[(triple11 OR ((((triple9 triple7 ((triple12 triple10) -> rule4)) -> rule3) triple12 triple10) -> rule5) OR ((((triple9 triple7 ((triple12 triple10) -> rule4)) -> rule3) triple12 ((triple12 triple8 triple7) -> rule2)) -> rule5) OR ((((triple9 triple7 ((triple12 ((triple12 triple8 triple7) -> rule2)) -> rule4)) -> rule3) triple12 triple10) -> rule5) OR ((((triple9 triple7 ((triple12 ((triple12 triple8 triple7) -> rule2)) -> rule4)) -> rule3) triple12 ((triple12 triple8 triple7) -> rule2)) -> rule5))] Gary is red.[(triple10 OR ((triple12 triple8 triple7) -> rule2))] Gary is rough.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Bob is red.[(((triple4 triple2 triple1) -> rule2))] Gary is big.[(((triple12 triple10) -> rule4) OR ((triple12 ((triple12 triple8 triple7) -> rule2)) -> rule4))] @2: Bob is big.[(((triple4 ((triple4 triple2 triple1) -> rule2)) -> rule4))] Gary is nice.[(((triple9 triple7 ((triple12 triple10) -> rule4)) -> rule3) OR ((triple9 triple7 ((triple12 ((triple12 triple8 triple7) -> rule2)) -> rule4)) -> rule3))] @3: Bob is nice.[(((triple3 triple1 ((triple4 ((triple4 triple2 triple1) -> rule2)) -> rule4)) -> rule3))] @4: Bob is kind.[(((((triple3 triple1 ((triple4 ((triple4 triple2 triple1) -> rule2)) -> rule4)) -> rule3) triple4 ((triple4 triple2 triple1) -> rule2)) -> rule5))]