Bob is big and seems cold, but he's just green. Really, he is nice and often red with laughter. Dave is both young and fairly round in size. Eric always goes out of his way to show that he is kind to people. Big blue Fred is nice and young. If you see someone who is red and green they are round, like Santa Claus. A rough person that is cold towards others is green. Blue people who are big tend to be rough. People who are young and green are also kind. Someone that is red and blue because they are cold are also round. Young and nice people are ultimately cold.
Bob is not round.
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Dave is round.[(triple7)] Dave is young.[(triple6)] Eric is kind.[(triple8)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is nice.[(triple10)] Fred is young.[(triple9)] @1: Bob is round.[(((triple1 triple3) -> rule1))] Fred is cold.[(((triple9 triple10) -> rule6))] Fred is rough.[(((triple11 triple12) -> rule3))] @2: Fred is green.[(((((triple11 triple12) -> rule3) ((triple9 triple10) -> rule6)) -> rule2))] @3: Fred is kind.[(((triple9 ((((triple11 triple12) -> rule3) ((triple9 triple10) -> rule6)) -> rule2)) -> rule4))]