Charlie is a person both green and big. Having a round body that is very big makes Dave a kind hearted person that often feels green. Fred ate some rotten meat and now feels green. Gary who is considered nice was feeling rather rough today. Young and nice people have great big smiles. Rough people, round from over eating, who are also cold are young and don't mind the draft. Anyone you find who happens to be kind and blue will also be very nice. If a person is quite big and also round then they are certainly rough too. A green and quite rough person will also be blue. If someone is red and green and feeels rough, they are kind.
Dave is not blue.
@0: Charlie is big.[(triple2)] Charlie is green.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is round.[(triple3)] Fred is green.[(triple7)] Gary is nice.[(triple9)] Gary is rough.[(triple8)] @1: Dave is rough.[(((triple6 triple3) -> rule4))] @2: Dave is blue.[(((((triple6 triple3) -> rule4) triple5) -> rule5))] @3: Dave is nice.[(((triple4 ((((triple6 triple3) -> rule4) triple5) -> rule5)) -> rule3))]