Bob is a big gentleman who is very nice. He is secretly green with envy. Dave is colored red and green. He is also young, rough and very cold. Eric wears all blue. If you meet a nice, young, red man, you will see that they are big too. Red people who are also kind often turn out to be cold from standing outdoors too long. If you big person approaches and is cold, fear not because they are nice. If a person is red and green, then they will present as big. Young people that are nice and green tend to be blue. Big people that tend to be nice and blue, may also be a little rough to others. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Eric is nice.
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5 OR ((((triple6 triple7) -> rule4) ((((triple6 triple7) -> rule4) triple8) -> rule3) ((triple4 ((((triple6 triple7) -> rule4) triple8) -> rule3) triple7) -> rule5)) -> rule6))] Dave is young.[(triple4)] Eric is blue.[(triple9)] @1: Dave is big.[(((triple6 triple7) -> rule4))] @2: Dave is nice.[(((((triple6 triple7) -> rule4) triple8) -> rule3))] @3: Dave is blue.[(((triple4 ((((triple6 triple7) -> rule4) triple8) -> rule3) triple7) -> rule5))]