The lion is big. If something is big then it is not blue. If something is big and not blue then it is nice. All round things are not kind. If something is nice and blue then it is round. If something is nice then it is not round. If the lion is round then the lion is nice.
The lion chases the lion.
@0: The lion is big.[(triple1)] @1: The lion is not blue.[(((triple1) -> rule1))] @2: The lion is nice.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: The lion is not round.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule5))]