Young Alan is red, green and cold. Bob is both young and fairly round in size. Dave is a red person who is round and also feels blue. Eric is young and round, he is also green. When someone is young, they can be cold but kind. A round shaped and red person is definitely nice. Have you noticed that green and round folks are also so young. Big people are also round people. When someone is kind and their cheeks flame red with embarrassment I know that they are young. Green people who are kind with rosy red skin are round. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Alan is kind.
@0: Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is round.[(triple6)] Bob is young.[(triple5)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Eric is green.[(triple12)] Eric is round.[(triple11)] Eric is young.[(triple10 OR ((triple12 triple11) -> rule3))] @1: Alan is kind.[(((triple1 triple4) -> rule1))] Dave is nice.[(((triple7 triple8) -> rule2))] @2: Alan is round.[(((triple2 ((triple1 triple4) -> rule1) triple3) -> rule6))] @3: Alan is nice.[(((((triple2 ((triple1 triple4) -> rule1) triple3) -> rule6) triple2) -> rule2))]