My friend Dave is very young. People say he is nice for having a round shape. Eric tends to be nice, but is young. Eric has rough blue skin. Fred is blue just like his dog. Fred is rough and round enough for the dog to use him as an exercise wheel. Gary always goes out of his way to show that he is kind to people. Everyone that is rough but also kind will be green. Young round folks who are at least a bit red are actually nice. If a person that is blue and green is also cold, that means that they are young. A cold, red person with a kind disposition will certainly be big. Kind people who look green are almost always young in age. People who are rough are often rather kind as well.
Eric is kind.
@0: Dave is nice.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple7)] Eric is nice.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4 OR ((((((triple5) -> rule6) triple5) -> rule1) ((triple5) -> rule6)) -> rule5))] Fred is blue.[(triple10)] Fred is rough.[(triple9)] Fred is round.[(triple8)] Gary is kind.[(triple11)] @1: Eric is kind.[(((triple5) -> rule6))] Fred is kind.[(((triple9) -> rule6))] @2: Eric is green.[(((((triple5) -> rule6) triple5) -> rule1))] Fred is green.[(((((triple9) -> rule6) triple9) -> rule1))] @3: Fred is young.[(((((((triple9) -> rule6) triple9) -> rule1) ((triple9) -> rule6)) -> rule5))]