Bob is young and a bit big and round. He acts cold towards skinny people because he is green with envy. Charlie ate some rotten meat and now feels green. Dave ate some rotten meat and now feels green. Young, red Harry is nice. A young someone is red in thought but green in ideas. People with big hands and red, rough skin are terribly kind. A green and quite rough person will also be blue. Someone who happens to be cold and green and big all at once must also be round in shape. Green people who are nice are rough.
Bob is big.
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is round.[(triple2 OR ((triple4 triple3 triple5) -> rule4))] Bob is young.[(triple1)] Charlie is green.[(triple6)] Dave is green.[(triple7)] Harry is nice.[(triple10)] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Harry is green.[(((triple9 triple8) -> rule1))] @2: Harry is rough.[(((triple10 ((triple9 triple8) -> rule1)) -> rule5))] @3: Harry is blue.[(((((triple10 ((triple9 triple8) -> rule1)) -> rule5) ((triple9 triple8) -> rule1)) -> rule3))]