Alan is green and young, but he is also kind. He has blue eyes and red hair. Bob who is considered nice was feeling rather rough today. That man standing next to you with a big round body goes by the name of Charlie. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Any green person is a round person. Anybody that is big is also someone who is going to be blue. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Young, kind people have the trait of being cold and are also very nice to interact with. People who are described as young, green, and big are often considered rough. An individual with green, blue and big characteristics will also be rough. A person that is green also someone who is big.
Bob is red.
@0: Alan is blue.[(triple5 OR ((((triple4) -> rule7)) -> rule2))] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is nice.[(triple7)] Bob is rough.[(triple6)] Charlie is big.[(triple9)] Charlie is round.[(triple8)] Fred is blue.[(triple11)] Fred is kind.[(triple10)] @1: Alan is big.[(((triple4) -> rule7))] Alan is round.[(((triple4) -> rule1))] Charlie is blue.[(((triple9) -> rule2))] @2: Alan is rough.[(((triple4 triple5 ((triple4) -> rule7)) -> rule6) OR ((((triple4) -> rule7) triple4 triple1) -> rule5) OR ((triple4 ((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule6))] @3: Alan is nice.[(((triple2 triple1 ((triple4 triple5 ((triple4) -> rule7)) -> rule6)) -> rule3) OR ((triple2 triple1 ((((triple4) -> rule7) triple4 triple1) -> rule5)) -> rule3) OR ((triple2 triple1 ((triple4 ((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule6)) -> rule3))]