Charlie wears all blue. Eric always goes out of his way to show that he is kind to people. Fred is nice but he's pretty inexperienced, pretty green. He's too big to fit in the hot tub so he stays cold which makes him blue. As much as Harry is nice, he is also cold and often feels blue. Young people with red skin who are a bit downhearted and blue are kind. Big and green people who feel cold are usually young in age. Young and nice people have great big smiles. I have found that young, blue, and big individuals are also red. Young people tend to rough and nice, but they are also red. If a person is red, kind, and nice then they must be round. Young people that are nice and green tend to be blue.
Fred is not nice.
@0: Charlie is blue.[(triple1)] Eric is kind.[(triple2)] Fred is big.[(triple7)] Fred is blue.[(triple6 OR ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7))] Fred is cold.[(triple5)] Fred is green.[(triple4)] Fred is nice.[(triple3)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is nice.[(triple8)] @1: Fred is young.[(((triple4 triple7 triple5) -> rule2))] @2: Fred is red.[(((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4))] @3: Fred is kind.[(((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1) OR ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1))] @4: Fred is round.[(((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) triple6 triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) triple6 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) ((((triple4 triple7 triple5) -> rule2) ((((triple4 triple7 triple5) -> rule2) triple3 triple4) -> rule7) triple7) -> rule4)) -> rule1)) -> rule6))]