Although Alan acted rough and was red, he was truly nice to others and a green gardener. He was cold and big. Young Bob here is always rough but nice and yes he is big. That guy Charlie sure is nice. Fred seems to be round. Rough people who are kind and green with envy are red with their toughened skin. Big, kind folks are green ones. Even though a person is big and rough when they are cold they turn red. Kind people that are round are on the big side. Jan is nice and rough, she can be blue in the winter which makes her cold. People who are young are also blue.
Bob is not blue.
@0: Alan is big.[(triple6)] Alan is cold.[(triple5)] Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2 OR ((triple1 triple6 triple5) -> rule3))] Alan is rough.[(triple1)] Bob is big.[(triple10)] Bob is nice.[(triple9)] Bob is rough.[(triple8)] Bob is young.[(triple7)] Charlie is nice.[(triple11)] Fred is round.[(triple12)] @1: Bob is blue.[(((triple7) -> rule6))] @2: Bob is cold.[(((triple9 triple8 ((triple7) -> rule6)) -> rule5))] @3: Bob is red.[(((triple8 triple10 ((triple9 triple8 ((triple7) -> rule6)) -> rule5)) -> rule3))]