From a certain angle Bob is blue but he is young so maybe that will go away. Red Eric is what folks call him, because he is quite red. Fred is both young and fairly round in size. As much as Harry is nice, he is also cold and often feels blue. Nice and blue people have to be big as well. Among the green people who are young, the color blue is always part of them. Anyone with red and blue coloration also has green coloration. A person that is feeling blue and slightly big, is red as well. Nice people are cold people. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Harry is not red.
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Eric is red.[(triple3)] Fred is round.[(triple5)] Fred is young.[(triple4)] Harry is blue.[(triple8)] Harry is cold.[(triple7 OR ((triple6) -> rule5))] Harry is nice.[(triple6)] @1: Harry is big.[(((triple6 triple8) -> rule1))] @2: Harry is red.[(((((triple6 triple8) -> rule1) triple8) -> rule4))] @3: Harry is green.[(((((((triple6 triple8) -> rule1) triple8) -> rule4) triple8) -> rule3))]