Bob was born only a few years ago so he is young. Charlie is known to be rough and green. In the snow sits Dave, crying from being cold. I know Gary really well and you can say he is rough on the outside, cold on the inside and red all of the time. Whoever is rough and red must be kind. Kind and young people are round. Red, kind, rough people are the young ones. A rough, blue person is often said to be nice. If you big person approaches and is cold, fear not because they are nice. Someone with round, red, and kind traits also will be green. If someone is colored red but is cold, they tend to show a lot of green.
Gary is not round.
@0: Bob is young.[(triple1)] Charlie is green.[(triple3)] Charlie is rough.[(triple2)] Dave is cold.[(triple4)] Gary is cold.[(triple7)] Gary is red.[(triple6)] Gary is rough.[(triple5)] @1: Gary is green.[(((triple6 triple7) -> rule7) OR ((((((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3) ((triple5 triple6) -> rule1)) -> rule2) triple6 ((triple5 triple6) -> rule1)) -> rule6))] Gary is kind.[(((triple5 triple6) -> rule1))] @2: Gary is young.[(((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3))] @3: Gary is round.[(((((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3) ((triple5 triple6) -> rule1)) -> rule2))]