Dave is red, but he has turned blue as he is cold.  He is nice but can be rough. Gary seems to be round. Harry is a big fellow, often blue and sad, but he is nice. People here that are both big and kind while being cold are always red. A very nice person who is also green is certainly kind. Every single big person is a little green in some areas. People who are young and blue are also red. People that are rough and red in the face, are usually big in size. People who are round and behave in a cold way are surely blue.
Harry is not kind.
@0: Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Gary is round.[(triple6)] Harry is big.[(triple9)] Harry is blue.[(triple8)] Harry is nice.[(triple7)] @1: Dave is big.[(((triple2 triple1) -> rule5))] Harry is green.[(((triple9) -> rule3))] @2: Dave is green.[(((((triple2 triple1) -> rule5)) -> rule3))] Harry is kind.[(((((triple9) -> rule3) triple7) -> rule2))] @3: Dave is kind.[(((((((triple2 triple1) -> rule5)) -> rule3) triple3) -> rule2))]