Alan was young, had red eyes and green hair. On top of that he was big and had cold hands. Bob was born only a few years ago so he is young. Red Charlie is what folks call him, because he is quite red. Fred, who is young, round, red, and blue, is also quite big in size. We called someone with green, round eyes, blue for some reason. A blue person who is feeling a bit rough and cold will be wearing red. A big, kind someone could also be cold in a green dress. It's said that any person with blue skin, round bones, and big feet is kind. Blue people who are big tend to be rough. Young people with red, flushed cheeks who are rough around the edges are really quite nice. A big, young aged person that is green will be round shaped.
Charlie is not kind.
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2 OR ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple4 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule2))] Alan is young.[(triple1)] Bob is young.[(triple6)] Charlie is red.[(triple7)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is red.[(triple10)] Fred is round.[(triple9)] Fred is young.[(triple8)] @1: Alan is round.[(((triple5 triple3 triple1) -> rule7))] Fred is kind.[(((triple11 triple9 triple12) -> rule4))] Fred is rough.[(((triple11 triple12) -> rule5))] @2: Alan is blue.[(((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1))] Fred is nice.[(((triple10 triple8 ((triple11 triple12) -> rule5)) -> rule6))] @3: Alan is kind.[(((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) ((triple5 triple3 triple1) -> rule7) triple5) -> rule4))] Alan is rough.[(((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5))] @4: Alan is nice.[(((triple2 triple1 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule6) OR ((((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple4 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule2) triple1 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule6))]