Alan woke up one day to find he had become round. He was still rough, red, and green, but now he was also big. Bob seems to be round. Eric is a cold and round man who has red and green skin. That guy Fred sure is nice. Round people who are kind tend to be nice. Watch out for young people that are kind for they are rough. When someone is colored blue and is both kind and nice to others then they are cold. Cold and red people are always kind to others. Rough people who look red are cold. When you run into someone who is rough and green at the same time, they will also be red.
Alan is kind.
@0: Alan is big.[(triple5)] Alan is green.[(triple4)] Alan is red.[(triple3 OR ((triple2 triple4) -> rule6))] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is round.[(triple6)] Eric is cold.[(triple10)] Eric is green.[(triple9)] Eric is red.[(triple8)] Eric is round.[(triple7)] Fred is nice.[(triple11)] @1: Alan is cold.[(((triple3 triple2) -> rule5) OR ((((triple2 triple4) -> rule6) triple2) -> rule5))] Eric is kind.[(((triple10 triple8) -> rule4))] @2: Alan is kind.[(((((triple3 triple2) -> rule5) triple3) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2 triple4) -> rule6)) -> rule4) OR ((((((triple2 triple4) -> rule6) triple2) -> rule5) triple3) -> rule4) OR ((((((triple2 triple4) -> rule6) triple2) -> rule5) ((triple2 triple4) -> rule6)) -> rule4))] Eric is nice.[(((triple7 ((triple10 triple8) -> rule4)) -> rule1))] @3: Alan is nice.[(((triple1 ((((triple3 triple2) -> rule5) triple3) -> rule4)) -> rule1) OR ((triple1 ((((triple3 triple2) -> rule5) ((triple2 triple4) -> rule6)) -> rule4)) -> rule1) OR ((triple1 ((((((triple2 triple4) -> rule6) triple2) -> rule5) triple3) -> rule4)) -> rule1) OR ((triple1 ((((((triple2 triple4) -> rule6) triple2) -> rule5) ((triple2 triple4) -> rule6)) -> rule4)) -> rule1))]