Eric is both big and round, with blue features. Big Fred is nice but also rough. Gary is round, dresses in red, but is blue with cold. Harry is a kind and red colored guy. When young, round people are cold it their skin gets a blue tinge to it. Often, when you meet a rough person with red skin, you'll see that they are young too. Kind, rough people who are nice are also cold. A human that's cold also means they are a human that is young. Someone big and rough in shape is always kind. Someone who's blue, nice and round will also be someone who's green.
Harry is not red.
@0: Eric is big.[(triple3)] Eric is blue.[(triple2)] Eric is round.[(triple1)] Fred is big.[(triple6)] Fred is nice.[(triple5)] Fred is rough.[(triple4)] Gary is blue.[(triple10 OR ((((triple9) -> rule4) triple7 triple9) -> rule1))] Gary is cold.[(triple9)] Gary is red.[(triple8)] Gary is round.[(triple7)] Harry is kind.[(triple12)] Harry is red.[(triple11)] @1: Fred is kind.[(((triple6 triple4) -> rule5))] Gary is young.[(((triple9) -> rule4))] @2: Fred is cold.[(((((triple6 triple4) -> rule5) triple4 triple5) -> rule3))] @3: Fred is young.[(((((((triple6 triple4) -> rule5) triple4 triple5) -> rule3)) -> rule4))]