Bob is a person both green and big. Charlie is young and round, he is also green. Red Eric is what folks call him, because he is quite red. Harry is a young guy who is also round, red, kind, cold and blue. Young, round, and cold people have a habit of looking pretty red. A big blue someone could also be green. Young,round people tend to be rough and big. Being cold and blue made them rough to deal with.
Eric is round.
@0: Bob is big.[(triple2)] Bob is green.[(triple1)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Eric is red.[(triple6)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9 OR ((triple11 triple7 triple8) -> rule1))] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Harry is rough.[(((triple11 triple12) -> rule4))] @2: Harry is big.[(((((triple11 triple12) -> rule4) triple7 triple8) -> rule3))] @3: Harry is green.[(((triple12 ((((triple11 triple12) -> rule4) triple7 triple8) -> rule3)) -> rule2))]