Dave, like all young people, is nice. As much as Eric is nice, he is also cold and often feels blue. Gary, who is nice and kind, can also be thought of as cold and rough. Harry always goes out of his way to show that he is kind to people. A cold, rough person is also round. A big person who also feels blue and a bit green are usually wearing red. Nice and blue people have to be big as well. If a big person is cold and nice, then they are green. A big and rough person who is blue is also considered to be green.
Harry is not kind.
@0: Dave is nice.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple5)] Eric is cold.[(triple4)] Eric is nice.[(triple3)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6)] Harry is kind.[(triple10)] @1: Eric is big.[(((triple3 triple5) -> rule3))] Gary is round.[(((triple6 triple9) -> rule1))] @2: Eric is green.[(((triple4 ((triple3 triple5) -> rule3) triple3) -> rule4))] @3: Eric is red.[(((((triple3 triple5) -> rule3) triple5 ((triple4 ((triple3 triple5) -> rule3) triple3) -> rule4)) -> rule2))]