Alan's a round guy, and a red and green guy. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Bob. Charlie is both young and fairly round in size. Red Dave is what folks call him, because he is quite red. Anyone you find who happens to be kind and blue will also be very nice. People,though rough and red,tend to be cold too. Color anybody red and blue, then make them rough, and they will surely be round. Somebody fitting a young, blue and round description will also fit a green description. All nice people are young. A young person who is both big and blue is also someone who is green.
Bob is green.
@0: Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple9)] Bob is cold.[(triple8 OR ((triple5 triple6) -> rule2))] Bob is kind.[(triple7)] Bob is red.[(triple6)] Bob is rough.[(triple5)] Bob is round.[(triple4 OR ((triple9 triple5 triple6) -> rule3))] Charlie is round.[(triple11)] Charlie is young.[(triple10)] Dave is red.[(triple12)] @1: Bob is nice.[(((triple7 triple9) -> rule1))] @2: Bob is young.[(((((triple7 triple9) -> rule1)) -> rule5))] @3: Bob is green.[(((triple9 ((((triple7 triple9) -> rule1)) -> rule5) triple4) -> rule4) OR ((triple9 ((((triple7 triple9) -> rule1)) -> rule5) ((triple9 triple5 triple6) -> rule3)) -> rule4))]