That guy Bob sure is nice. No one knows Charlie like me and he is a kind guy, very round in the belly and green as grass. Eric is cold but nice with red hair and dresses green. Harry seems to be round. A person who is cold and blue is nice. If a person has a rough and round shape and is nice, then they will be big too. People turn green when they are feeling blue. Cold, young people are also certain to be rough people. Big people who are blue and red are afflicted with rough skin. People who are round and green while being cold are also red. A person who is cold and red and blue is big.
Harry is green.
@0: Bob is nice.[(triple1)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is round.[(triple2)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is nice.[(triple6 OR ((triple8 ((triple7) -> rule3)) -> rule1))] Eric is red.[(triple5)] Harry is round.[(triple9)] @1: Charlie is blue.[(((triple4) -> rule3))] Eric is blue.[(((triple7) -> rule3))] @2: Eric is big.[(((triple5 ((triple7) -> rule3) triple8) -> rule7))] @3: Eric is rough.[(((((triple7) -> rule3) triple5 ((triple5 ((triple7) -> rule3) triple8) -> rule7)) -> rule5))]