Bob wears all blue. Dave was born only a few years ago so he is young. Gary looks to be red, green, and blue, he is also round and rough. The big, round, blue guy is Harry. He's kind but rather rough. You'll always find a young, kind and red person to be a cold person, too. Big and green people who feel cold are usually young in age. Rough people are often always nice. A big blue someone could also be green. Green people here that are also round and nice are always rough. Among the green people who are young, the color blue is always part of them. A human being described as rough, nice and round will also fit the description of being cold.
Dave is green.
@0: Bob is blue.[(triple1)] Dave is young.[(triple2)] Gary is blue.[(triple7)] Gary is green.[(triple6)] Gary is red.[(triple5)] Gary is rough.[(triple4)] Gary is round.[(triple3)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] Harry is round.[(triple8)] @1: Gary is nice.[(((triple4) -> rule3))] Harry is green.[(((triple11 triple12) -> rule4))] Harry is nice.[(((triple9) -> rule3))] @2: Gary is cold.[(((triple4 triple3 ((triple4) -> rule3)) -> rule7))] Harry is cold.[(((triple9 triple8 ((triple9) -> rule3)) -> rule7))] @3: Harry is young.[(((((triple11 triple12) -> rule4) triple12 ((triple9 triple8 ((triple9) -> rule3)) -> rule7)) -> rule2))]