That man standing next to you with a big round body goes by the name of Bob. Dave ate some rotten meat and now feels green. Round Eric is big and red, but blue from the cold. Gary is rough around the edges, but he's often blue and always nice. A nice young person who is rough around the edges is big. Cold people who are young and green are actually nice. You will probably see that big, round, blue people are green, too. You know when you meet a red, blue and kind person, that means they are green. Anyone with red and blue coloration also has green coloration. Big, green people that feel blue are mostly young. Nice green people who feel blue are often red in color.
Dave is not nice.
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Dave is green.[(triple3)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is red.[(triple5 OR ((((triple4 triple8 triple7) -> rule3) triple7 ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2)) -> rule7))] Eric is round.[(triple4)] Gary is blue.[(triple11)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] @1: Eric is green.[(((triple5 triple7) -> rule5) OR ((triple4 triple8 triple7) -> rule3))] @2: Eric is young.[(((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6) OR ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6))] @3: Eric is nice.[(((triple6 ((triple5 triple7) -> rule5) ((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple5 triple7) -> rule5) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple5 triple7) -> rule5) triple7) -> rule6)) -> rule2) OR ((triple6 ((triple4 triple8 triple7) -> rule3) ((triple8 ((triple4 triple8 triple7) -> rule3) triple7) -> rule6)) -> rule2))]