Alan, like all young people, is nice. Bob is blue from ink he spilled on himself while being kind and helping some children paint. Charlie is big and tends to wear red shirts. Fred is made of many colors, red and blue and green. He is also rough and cold. Young and nice people have great big smiles. A nice young person who is rough around the edges is big. Any person who is blue and round, if they are kind at the same time, will be young. A person fitting the description of rough, cold and red will also be a nice person. That young person is feeling cold because he is green to the situation making his body shape round. When a person is blue, cold, and nice, they are also pretty young too.
Charlie is not red.
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple4)] Bob is kind.[(triple3)] Charlie is big.[(triple6)] Charlie is red.[(triple5)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] @1: Alan is big.[(((triple1 triple2) -> rule1))] Fred is nice.[(((triple7 triple10 triple8) -> rule4))] @2: Fred is young.[(((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6))] @3: Fred is big.[(((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) ((triple7 triple10 triple8) -> rule4)) -> rule1) OR ((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) ((triple7 triple10 triple8) -> rule4) triple7) -> rule2))] Fred is round.[(((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) triple10 triple9) -> rule5))]