Bob is a kind person and he is also often cold. Dave is a big fellow, often blue and sad, but he is nice. Eric is young and green. This makes him cold to others. Even though Gary is round and big, he is very kind. People here that are both big and kind while being cold are always red. Red people are almost always rough. Big, kind folks are green ones. A round shaped kind person who is colored green will be cold natured.
Gary is not red.
@0: Bob is cold.[(triple2)] Bob is kind.[(triple1)] Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is nice.[(triple3)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is young.[(triple6)] Gary is big.[(triple11)] Gary is kind.[(triple10)] Gary is round.[(triple9)] @1: Gary is green.[(((triple11 triple10) -> rule3))] @2: Gary is cold.[(((triple9 ((triple11 triple10) -> rule3) triple10) -> rule4))] @3: Gary is red.[(((triple11 triple10 ((triple9 ((triple11 triple10) -> rule3) triple10) -> rule4)) -> rule1))] @4: Gary is rough.[(((((triple11 triple10 ((triple9 ((triple11 triple10) -> rule3) triple10) -> rule4)) -> rule1)) -> rule2))]