Bob ate some rotten meat and now feels green. Dave is big and round man that is looking rather green after seeing some bad mayonnaise. The big young man with the round body who seems to be having a rough time due to being green is named Fred. Even though Gary is big and round, he is cold much of the time. An individual that fits the nice, red, and kind description will fit the description of big, too. Young people who are big, downhearted, and blue are kind. All the big and young boys at the park are red. Red people feel blue about it. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. People who are kind and green are very often rough.
Fred is not blue.
@0: Bob is green.[(triple1)] Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is round.[(triple2)] Fred is big.[(triple9)] Fred is green.[(triple8)] Fred is rough.[(triple7 OR ((((triple9 ((((triple9 triple5) -> rule3)) -> rule4) triple5) -> rule2) triple8) -> rule6))] Fred is round.[(triple6)] Fred is young.[(triple5)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is round.[(triple10)] @1: Fred is red.[(((triple9 triple5) -> rule3))] @2: Fred is blue.[(((((triple9 triple5) -> rule3)) -> rule4))] @3: Fred is kind.[(((triple9 ((((triple9 triple5) -> rule3)) -> rule4) triple5) -> rule2))]