The round, rough, and green one was labeled Bob after all. If you meet Dave, you will know that he is young, red and kind. Eric is very big for being so young. Gary is a nice and kind fellow who is also feeling blue because he is cold. Round shaped people that are nice and kind are also considerably rough. If you are a nice, kind person then your appearance will be quite round. A green young person will certainly be nice as well. A kind natured and big shaped person that is also cold will be green. All rough people are big in some way.
Gary is green.
@0: Bob is green.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Dave is young.[(triple4)] Eric is big.[(triple8)] Eric is young.[(triple7)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] @1: Bob is big.[(((triple2) -> rule5))] Gary is round.[(((triple10 triple9) -> rule2))] @2: Gary is rough.[(((((triple10 triple9) -> rule2) triple10 triple9) -> rule1))] @3: Gary is big.[(((((((triple10 triple9) -> rule2) triple10 triple9) -> rule1)) -> rule5))] @4: Gary is green.[(((triple10 ((((((triple10 triple9) -> rule2) triple10 triple9) -> rule1)) -> rule5) triple11) -> rule4))]