Bob gets red when he is mad and tends to act very cold. To the touch Dave has rough, cold skin. That rough but kind guy is Eric, the green one. Fred was born only a few years ago so he is young. Kind young people are red. Surprisingly, all the kind, green people were also big. Kind big people are green and young. A green and quite rough person will also be blue. A cold human with round and rough aspects is always kind. A big, green person who is cold is assumed to be red also.
Eric is not young.
@0: Bob is cold.[(triple2)] Bob is red.[(triple1)] Dave is cold.[(triple4)] Dave is rough.[(triple3)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is rough.[(triple5)] Fred is young.[(triple8)] @1: Eric is big.[(((triple6 triple7) -> rule2))] Eric is blue.[(((triple5 triple7) -> rule4))] @2: Eric is young.[(((triple6 triple7 ((triple6 triple7) -> rule2)) -> rule3))] @3: Eric is red.[(((triple6 ((triple6 triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]