Alan always goes out of his way to show that he is kind to people. Bob is cold and blue. He is round and has red rosy cheeks. He is green with envy of those who are happy. Charlie was born only a few years ago so he is young. Even though Gary is big and round, he is cold much of the time. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Big, blue people are red. A young, cold person is often blue. When you meet someone who is round, red and green, they will also be young. Young people that are also red and green, may be fairly rough, also.
Charlie is not rough.
@0: Alan is kind.[(triple1)] Bob is blue.[(triple6 OR ((triple5 ((triple4 triple3 triple2) -> rule4)) -> rule3))] Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is red.[(triple3)] Bob is round.[(triple2)] Charlie is young.[(triple7)] Gary is big.[(triple10)] Gary is cold.[(triple9)] Gary is round.[(triple8)] @1: Bob is young.[(((triple4 triple3 triple2) -> rule4))] @2: Bob is rough.[(((triple3 triple4 ((triple4 triple3 triple2) -> rule4)) -> rule5))] @3: Bob is nice.[(((triple3 ((triple4 triple3 triple2) -> rule4) ((triple3 triple4 ((triple4 triple3 triple2) -> rule4)) -> rule5)) -> rule1))]