For being so cold, it's good Alan can remain nice. Round, nice Bob felt as blue and big as he had ever been. Charlie is a young, round shaped young man who is also very cold. Dave is nice and kind,though he's also rather cold. Some cold people can be nice at times,and red at at other times. Young people who are cold and blue are actually kind. When someone is green and round, they can be rough but kind. A red, nice person will definitely be a blue person. If someone is cold and blue, you will find that they are also quite young. A person that is round and somewhat green while being nice tends to be red as well. When you meet and big and nice man, they will be kind to the earth and live green lifestyle.
Bob is rough.
@0: Alan is cold.[(triple2)] Alan is nice.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5)] Bob is nice.[(triple4)] Bob is round.[(triple3)] Charlie is cold.[(triple9)] Charlie is round.[(triple8)] Charlie is young.[(triple7)] Dave is cold.[(triple12)] Dave is kind.[(triple11 OR ((triple12 ((((triple12 triple10) -> rule1) triple10) -> rule4) ((((((triple12 triple10) -> rule1) triple10) -> rule4) triple12) -> rule5)) -> rule2))] Dave is nice.[(triple10)] @1: Alan is red.[(((triple2 triple1) -> rule1))] Dave is red.[(((triple12 triple10) -> rule1))] @2: Alan is blue.[(((((triple2 triple1) -> rule1) triple1) -> rule4))] Dave is blue.[(((((triple12 triple10) -> rule1) triple10) -> rule4))] @3: Alan is young.[(((((((triple2 triple1) -> rule1) triple1) -> rule4) triple2) -> rule5))] Dave is young.[(((((((triple12 triple10) -> rule1) triple10) -> rule4) triple12) -> rule5))] @4: Alan is kind.[(((triple2 ((((triple2 triple1) -> rule1) triple1) -> rule4) ((((((triple2 triple1) -> rule1) triple1) -> rule4) triple2) -> rule5)) -> rule2))]