Bob is a nice, kind young man that is feeling rather blue -- he is also green. In the snow sits Charlie, crying from being cold. Dave, like all young people, is nice. Eric is somewhat red,he is also very nice and kind, he is very big though. A round person who is nice and feelin cold is usually rough in apperance. A nice, big person that is red is usually young. All the big and young boys at the park are red. It's inevitable that young, green people are big. Someone who is colored both in red and green, while being kind to others, is a round person.
Bob is red.
@0: Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple6)] Dave is nice.[(triple8)] Dave is young.[(triple7)] Eric is big.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] @1: Bob is big.[(((triple1 triple4) -> rule4))] Eric is young.[(((triple10 triple9 triple12) -> rule2))] @2: Bob is red.[(((((triple1 triple4) -> rule4) triple1) -> rule3))] @3: Bob is round.[(((((((triple1 triple4) -> rule4) triple1) -> rule3) triple4 triple3) -> rule5))]