Bob is both young and fairly round in size. Although Charlie is young and nice, he is as cold as ice. Fred is a nice person, but he is both blue and red. Big Gary is a nice young man who also happens to be red. A big person who also feels blue and a bit green are usually wearing red. Green, nice people who have round shapes are going to be kind to you. A young person with rough red skin is downhearted and blue. Young people who rough around in the cold are known to be very red. A person that is nice and young is also going to be a person that is rough. Folks who are nice and young with red coloration tend to feel blue. Blue, red, young people are always going to be kind people, too.
Fred is blue.
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple5)] Charlie is nice.[(triple4)] Charlie is young.[(triple3)] Fred is blue.[(triple8)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Gary is big.[(triple12)] Gary is nice.[(triple11)] Gary is red.[(triple10)] Gary is young.[(triple9)] @1: Charlie is rough.[(((triple4 triple3) -> rule5))] Gary is blue.[(((triple11 triple9 triple10) -> rule6) OR ((((triple11 triple9) -> rule5) triple9 triple10) -> rule3))] Gary is rough.[(((triple11 triple9) -> rule5))] @2: Charlie is red.[(((((triple4 triple3) -> rule5) triple3 triple5) -> rule4))] Gary is kind.[(((((triple11 triple9 triple10) -> rule6) triple10 triple9) -> rule7) OR ((((((triple11 triple9) -> rule5) triple9 triple10) -> rule3) triple10 triple9) -> rule7))] @3: Charlie is blue.[(((triple4 triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule6) OR ((((triple4 triple3) -> rule5) triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule3))] @4: Charlie is kind.[(((((triple4 triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule6) ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4) triple3) -> rule7) OR ((((((triple4 triple3) -> rule5) triple3 ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4)) -> rule3) ((((triple4 triple3) -> rule5) triple3 triple5) -> rule4) triple3) -> rule7))]