Charlie wears all blue. Even though Fred is young, he is still very round and still very red. Big Gary is still young so it's easy for him to be kind. Harry is a young man who is also kind, blue and rough. Rough people are often always nice. Young round folks who are at least a bit red are actually nice. People that feel green are cold to people that try to help them. Young people are rough. Nice, kind people who look rough almost always feel cold. Anyone that's described as young, kind and blue can be said to be cold, too. Blue, red and nice people are always big, too.
Gary is not rough.
@0: Charlie is blue.[(triple1)] Fred is red.[(triple4)] Fred is round.[(triple3)] Fred is young.[(triple2)] Gary is big.[(triple7)] Gary is kind.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9 OR ((triple8) -> rule4))] Harry is young.[(triple8)] @1: Fred is nice.[(((triple4 triple3 triple2) -> rule2) OR ((((triple2) -> rule4)) -> rule1))] Fred is rough.[(((triple2) -> rule4))] Gary is rough.[(((triple5) -> rule4))] Harry is cold.[(((triple8 triple11 triple10) -> rule6) OR ((((triple9) -> rule1) triple10 triple9) -> rule5) OR ((((triple9) -> rule1) triple10 ((triple8) -> rule4)) -> rule5) OR ((((((triple8) -> rule4)) -> rule1) triple10 triple9) -> rule5) OR ((((((triple8) -> rule4)) -> rule1) triple10 ((triple8) -> rule4)) -> rule5))] Harry is nice.[(((triple9) -> rule1) OR ((((triple8) -> rule4)) -> rule1))] @2: Gary is nice.[(((((triple5) -> rule4)) -> rule1))] @3: Gary is cold.[(((((((triple5) -> rule4)) -> rule1) triple6 ((triple5) -> rule4)) -> rule5))]