Bob is rather round shaped nice fellow who is feeling blue and looking green today. Charlie is nice and round, but he's also young and can blend red and blue moods well. The young person who is always feeling cold is named Eric. That guy Gary sure is nice. All young and kind people that feel blue are described as red. One who is young, red and also cold will definitely be round, too. Big people with red hair are cold because they cannot find coats that fit. A red, nice person will definitely be a blue person. Cold, young people are also certain to be rough people. Nice people with red and rough skin are green with envy. When someone is blue, nice and young they will also be as big as the sun.
Gary is young.
@0: Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple9 OR ((triple7 triple8) -> rule4))] Charlie is nice.[(triple8)] Charlie is red.[(triple7)] Charlie is round.[(triple6 OR ((triple5 triple7 ((triple7 ((triple5 triple9 triple8) -> rule7)) -> rule3)) -> rule2) OR ((triple5 triple7 ((triple7 ((triple5 ((triple7 triple8) -> rule4) triple8) -> rule7)) -> rule3)) -> rule2))] Charlie is young.[(triple5)] Eric is cold.[(triple11)] Eric is young.[(triple10)] Gary is nice.[(triple12)] @1: Charlie is big.[(((triple5 triple9 triple8) -> rule7) OR ((triple5 ((triple7 triple8) -> rule4) triple8) -> rule7))] Eric is rough.[(((triple11 triple10) -> rule5))] @2: Charlie is cold.[(((triple7 ((triple5 triple9 triple8) -> rule7)) -> rule3) OR ((triple7 ((triple5 ((triple7 triple8) -> rule4) triple8) -> rule7)) -> rule3))] @3: Charlie is rough.[(((((triple7 ((triple5 triple9 triple8) -> rule7)) -> rule3) triple5) -> rule5) OR ((((triple7 ((triple5 ((triple7 triple8) -> rule4) triple8) -> rule7)) -> rule3) triple5) -> rule5))] @4: Charlie is green.[(((((((triple7 ((triple5 triple9 triple8) -> rule7)) -> rule3) triple5) -> rule5) triple8 triple7) -> rule6) OR ((((((triple7 ((triple5 ((triple7 triple8) -> rule4) triple8) -> rule7)) -> rule3) triple5) -> rule5) triple8 triple7) -> rule6))]