Bob is green to the job, which is why he turned blue from being so cold. Charlie seems big and rough, but he's actually quite kind. That guy Dave sure is nice. Harry is green and cold too. Nice round big people are kind to others. People turn green when they are feeling blue. Big, young people with green color are rather rough. People who are feeling blue and green are said to be red. Most big and cold people are also rough. Someone who is currently blue, big, and cold, is also kind. Any red sort of person is a nice person.
Dave is young.
@0: Bob is blue.[(triple3 OR ((triple1) -> rule2))] Bob is cold.[(triple2)] Bob is green.[(triple1)] Charlie is big.[(triple6)] Charlie is kind.[(triple5)] Charlie is rough.[(triple4)] Dave is nice.[(triple7)] Harry is cold.[(triple9)] Harry is green.[(triple8)] @1: Bob is red.[(((triple3 triple1) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule4))] Harry is blue.[(((triple8) -> rule2))] @2: Bob is nice.[(((((triple3 triple1) -> rule4)) -> rule7) OR ((((((triple1) -> rule2) triple1) -> rule4)) -> rule7))] Harry is red.[(((((triple8) -> rule2) triple8) -> rule4))] @3: Harry is nice.[(((((((triple8) -> rule2) triple8) -> rule4)) -> rule7))]