Bob always goes out of his way to show that he is kind to people. People think that Dave is round. This might be because he is young and blue. Eric is both big and round, with blue features. When you first meet Gary you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. A person that is cold, blue and nice is also considered to be round. A young, red person will certainly be cold. A big kind person that is red is almost always nice. If a person is quite big and also round then they are certainly rough too. People who are rough are often rather kind as well. People who are considered rough, blue, and nice, are also green. Take a drive and find a kind and blue driver, that means they are also young.
Dave is not big.
@0: Bob is kind.[(triple1)] Dave is blue.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is round.[(triple5)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10 OR ((triple9) -> rule5))] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Eric is rough.[(((triple7 triple5) -> rule4))] @2: Eric is kind.[(((((triple7 triple5) -> rule4)) -> rule5))] @3: Eric is young.[(((((((triple7 triple5) -> rule4)) -> rule5) triple6) -> rule7))]