Alan is so young and darling he is kind to all the old people on the block. Charlie is young and round, he is also green. From a certain angle Eric is blue but he is young so maybe that will go away. Fred has rough, green skin and that makes him cold. He also feels blue for his big size. Whoever is rough and red must be kind. All the big and young boys at the park are red. Anyone you find who happens to be kind and blue will also be very nice. Someone who is not only rough and big but also nice will necessarily be round as well. People that are green tend to be young. Blue, red and nice people are always big, too.
Alan is rough.
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3 OR ((triple5) -> rule5))] Eric is blue.[(triple7)] Eric is young.[(triple6)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is rough.[(triple8)] @1: Fred is young.[(((triple9) -> rule5))] @2: Fred is red.[(((triple12 ((triple9) -> rule5)) -> rule2))] @3: Fred is kind.[(((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1))] @4: Fred is nice.[(((((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1) triple11) -> rule3))] @5: Fred is round.[(((triple8 triple12 ((((triple8 ((triple12 ((triple9) -> rule5)) -> rule2)) -> rule1) triple11) -> rule3)) -> rule4))]