Alan is known to be rough and green. Charlie is a nice person who is red because he has a rash. Dave is big and dresses in blue. Eric was born only a few years ago so he is young. Rough people are often round. Blue people who are big tend to be rough. A big and rough person who is blue is also considered to be green. They found the ones that were round, blue, and green to be nice. A blue individual that is kind and nice to others also has a rough appearance.
Dave is not nice.
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Eric is young.[(triple7)] @1: Alan is round.[(((triple1) -> rule1))] Dave is rough.[(((triple5 triple6) -> rule2))] @2: Dave is green.[(((((triple5 triple6) -> rule2) triple6 triple5) -> rule3))] Dave is round.[(((((triple5 triple6) -> rule2)) -> rule1))] @3: Dave is nice.[(((((((triple5 triple6) -> rule2)) -> rule1) triple5 ((((triple5 triple6) -> rule2) triple6 triple5) -> rule3)) -> rule4))]