Bob wears a green and red coat, but is always cold. Eric wears a green and red coat, but is always cold. Gary is so cold, he's turned blue, which isn't unusual with those rough, round kids. Harry has been blue because he's green with envy. Red, green and cold people are certain to be young people, too. A green young person will certainly be nice as well. A rough person will also be a cold person. Young people who are big are often rough. A person that is green, cold and nice will also be blue. When I see a young child who plays rough on the playground with others and has cold hands, I know it means they are kind.
Harry is not big.
@0: Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is red.[(triple1)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is red.[(triple4)] Gary is blue.[(triple10)] Gary is cold.[(triple9 OR ((triple8) -> rule3))] Gary is rough.[(triple8)] Gary is round.[(triple7)] Harry is blue.[(triple12)] Harry is green.[(triple11)] @1: Bob is young.[(((triple1 triple2 triple3) -> rule1))] Eric is young.[(((triple4 triple5 triple6) -> rule1))] @2: Bob is nice.[(((triple2 ((triple1 triple2 triple3) -> rule1)) -> rule2))] Eric is nice.[(((triple5 ((triple4 triple5 triple6) -> rule1)) -> rule2))] @3: Bob is blue.[(((triple2 triple3 ((triple2 ((triple1 triple2 triple3) -> rule1)) -> rule2)) -> rule5))] Eric is blue.[(((triple5 triple6 ((triple5 ((triple4 triple5 triple6) -> rule1)) -> rule2)) -> rule5))]