Bob is blue just like his dog. Bob is rough and round enough for the dog to use him as an exercise wheel. Big blue Eric is nice and young. Most people see Fred as round, albeit nice and big at the same time. Harry ate some rotten meat and now feels green. Green and blue people have a habit of being cold, which makes them red too. Kind young people are red. Rough people are often round. Look for the blue and green people, they are kind and will give you directions if you're lost. A big, young human being is sure to also be a green human being.
Eric is not green.
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1 OR ((triple2) -> rule3))] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is nice.[(triple5)] Eric is young.[(triple4)] Fred is big.[(triple10)] Fred is nice.[(triple9)] Fred is round.[(triple8)] Harry is green.[(triple11)] @1: Eric is green.[(((triple7 triple4) -> rule5))] @2: Eric is kind.[(((triple6 ((triple7 triple4) -> rule5)) -> rule4))] @3: Eric is red.[(((((triple6 ((triple7 triple4) -> rule5)) -> rule4) triple4) -> rule2))]