Dave is nice, even when he is rough and red with anger. Fred ate some rotten meat and now feels green. Harry is too round for someone so young. Also, he is sometimes red and sometimes green. All kind, red, and young people are also nice. I've noticed that kind people are also big. If you meet a kind green person with a round shape they will also be young. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. Julie is really nice to gardeners since she has a green thumb. A person that is the color red will definitely be round shaped. A green colored and rough person will be quite kind.
Dave is not round.
@0: Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Fred is green.[(triple4)] Harry is green.[(triple8)] Harry is red.[(triple7)] Harry is round.[(triple6 OR ((triple7) -> rule6))] Harry is young.[(triple5)] @1: Dave is green.[(((triple3) -> rule5))] Dave is round.[(((triple2) -> rule6))] @2: Dave is kind.[(((((triple3) -> rule5) triple1) -> rule7))] @3: Dave is big.[(((((((triple3) -> rule5) triple1) -> rule7)) -> rule2))] Dave is young.[(((((((triple3) -> rule5) triple1) -> rule7) ((triple3) -> rule5) ((triple2) -> rule6)) -> rule3))]