The young person who is always feeling cold is named Bob. Fred is a kind person and he is also often cold. Red Gary is still young while also very blue and green. Harry can be kind but he will talks so much his face turns blue. He is usually red and round other than that. Young people who are nice and look round are also going to be green. Rough people who are red in color and big are usally round in shape. Every time you meet someone kind and nice, they'll be green, too. If you pass someone who is red and round and kind, you'll notice they act in a cold manner. Anyone feeling cold is bound to act nice. Any person who can be red and blue at the same time is cold. A cold blue person who is rough is also kind.
Bob is not green.
@0: Bob is cold.[(triple2)] Bob is young.[(triple1)] Fred is cold.[(triple4)] Fred is kind.[(triple3)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is red.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple12)] Harry is kind.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Bob is nice.[(((triple2) -> rule5))] Fred is nice.[(((triple4) -> rule5))] Gary is cold.[(((triple6 triple8) -> rule6))] Harry is cold.[(((triple10 triple12) -> rule6) OR ((triple10 triple9 triple11) -> rule4))] @2: Fred is green.[(((triple3 ((triple4) -> rule5)) -> rule3))] Gary is nice.[(((((triple6 triple8) -> rule6)) -> rule5))] Harry is nice.[(((((triple10 triple12) -> rule6)) -> rule5) OR ((((triple10 triple9 triple11) -> rule4)) -> rule5))] @3: Harry is green.[(((triple11 ((((triple10 triple12) -> rule6)) -> rule5)) -> rule3) OR ((triple11 ((((triple10 triple9 triple11) -> rule4)) -> rule5)) -> rule3))]