Dave, who is relatively young, is also pretty big and tends to be cold. Eric is a big fellow, often blue and sad, but he is nice. Fred seems to be round. That guy Harry sure is nice. If someone you know is big, cold, and young, you know they are also kind. Cold people who are big hearted and kind are usually very round. A kind person who is down in the dumps and blue tends to have a rough side. Round people who are kind tend to be nice. A young aged and big blue person will definitely be cold. If a person is blue and red and big, then that person is cold.
Dave is not nice.
@0: Dave is big.[(triple3)] Dave is cold.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple6)] Eric is blue.[(triple5)] Eric is nice.[(triple4)] Fred is round.[(triple7)] Harry is nice.[(triple8)] @1: Dave is kind.[(((triple3 triple2 triple1) -> rule1))] @2: Dave is round.[(((triple2 triple3 ((triple3 triple2 triple1) -> rule1)) -> rule2))] @3: Dave is nice.[(((((triple2 triple3 ((triple3 triple2 triple1) -> rule1)) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule4))]