Bob, who is nice and kind, can also be thought of as cold and rough. Dave was looking rather round and feeling rather cold, but people thought he is kind. Eric is very nice to people, but he's also rather big. Gary is a man who is both round and rough. When someone is nice and rough they are usually red. Cold, rough people are always green. Red, kind, rough people are the young ones. Most young and nice people will be kind. A kind, cold, round person will be nice in addition. A young person who is red and green is also going to look round.
Gary is nice.
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is round.[(triple5)] Eric is big.[(triple9)] Eric is nice.[(triple8)] Gary is rough.[(triple11)] Gary is round.[(triple10)] @1: Bob is green.[(((triple4 triple1) -> rule2))] Bob is red.[(((triple2 triple1) -> rule1))] Dave is nice.[(((triple7 triple5 triple6) -> rule5))] @2: Bob is young.[(((((triple2 triple1) -> rule1) triple3 triple1) -> rule3))] @3: Bob is round.[(((((((triple2 triple1) -> rule1) triple3 triple1) -> rule3) ((triple4 triple1) -> rule2) ((triple2 triple1) -> rule1)) -> rule6))]