Charlie is big and dresses in blue. Dave is round shaped and green colored. Gary lives at home with his parents who tell him he is too young to live on his own. Gary is a big blue guy with red rings around his ankles and rough patchy skin. Gary is always cold inside or out. Harry is big and dresses in blue. All kind, red, and young people are also nice. Any human being with green, big, kind eyes, also has round eyes. People who are blue and red and kind are described as being green. Green people will be nice even when they have been rough. A big and blue colored person is also certainly very kind. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. Anybody with rough, kind and blue aspects will certainly be cold, too.
Gary is blue.
@0: Charlie is big.[(triple2)] Charlie is blue.[(triple1)] Dave is green.[(triple4)] Dave is round.[(triple3)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is cold.[(triple8 OR ((triple6 ((triple9 triple10) -> rule5) triple9) -> rule7) OR ((((((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3) ((((triple9 triple10) -> rule5) triple7 triple5) -> rule1)) -> rule4) ((triple9 triple10) -> rule5) triple9) -> rule7))] Gary is red.[(triple7)] Gary is rough.[(triple6 OR ((((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3) ((((triple9 triple10) -> rule5) triple7 triple5) -> rule1)) -> rule4))] Gary is young.[(triple5)] Harry is big.[(triple12)] Harry is blue.[(triple11)] @1: Charlie is kind.[(((triple1 triple2) -> rule5))] Gary is kind.[(((triple9 triple10) -> rule5))] Harry is kind.[(((triple11 triple12) -> rule5))] @2: Gary is green.[(((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3))] Gary is nice.[(((((triple9 triple10) -> rule5) triple7 triple5) -> rule1))] @3: Gary is round.[(((((triple7 ((triple9 triple10) -> rule5) triple9) -> rule3) triple10 ((triple9 triple10) -> rule5)) -> rule2))]