Bob is a young, cold guy, but he's also a nice and kind guy who can be rough. Eric looks red to most people, with blue features. Gary is red from working out in the sun all day. he is green with envy that others get to work inside all day and this makes him feel blue. But Gary is big and young so he can handle it. Being round and nice automatically means a person is kind. Blue and red people are often rough. If someone is colored red but is cold, they tend to show a lot of green. It is true that anyone who is cold while being young and nice is secretly a kind person. People who are round and young are also quite nice. A blue and red colored person that is young is also very cold. Unfortunately, all the young people who are considered green are all round.
Fred is not red.
@0: Bob is cold.[(triple5)] Bob is kind.[(triple4 OR ((triple3 triple5 triple1) -> rule4))] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Eric is blue.[(triple7)] Eric is red.[(triple6)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is green.[(triple10 OR ((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3))] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Eric is rough.[(((triple7 triple6) -> rule2))] Gary is cold.[(((triple11 triple8 triple9) -> rule6))] Gary is rough.[(((triple11 triple9) -> rule2))] Gary is round.[(((triple10 triple8) -> rule7) OR ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7))] @2: Gary is nice.[(((triple8 ((triple10 triple8) -> rule7)) -> rule5) OR ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5))] @3: Gary is kind.[(((((triple10 triple8) -> rule7) ((triple8 ((triple10 triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple8 ((triple10 triple8) -> rule7)) -> rule5) ((triple11 triple8 triple9) -> rule6) triple8) -> rule4) OR ((((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7) ((triple8 ((triple10 triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple10 triple8) -> rule7) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5) ((triple11 triple8 triple9) -> rule6) triple8) -> rule4) OR ((((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5)) -> rule1))]