The lion is nice. The rabbit does not chase the lion. The rabbit chases the tiger. The rabbit does not eat the lion. The rabbit is young. The rabbit needs the tiger. The tiger is not nice. If the rabbit does not chase the lion then the lion is not kind. If something chases the lion then it is big. If something is young and it needs the tiger then the tiger needs the lion. If the tiger needs the lion then the tiger chases the lion. If something is nice then it chases the tiger. If something eats the lion and it does not chase the rabbit then the lion does not eat the tiger. If the lion is not kind then the lion eats the rabbit. If something eats the lion and it does not eat the tiger then it is rough.
The rabbit is not young.
@0: The lion is nice.[(triple1)] The rabbit chases the tiger.[(triple3)] The rabbit does not chase the lion.[(triple2)] The rabbit does not eat the lion.[(triple4)] The rabbit is young.[(triple5)] The rabbit needs the tiger.[(triple6)] The tiger is not nice.[(triple7)] @1: The lion chases the tiger.[(((triple1) -> rule5))] The lion is not kind.[(((triple2) -> rule1))] The tiger needs the lion.[(((triple5 triple6) -> rule3))] @2: The lion eats the rabbit.[(((((triple2) -> rule1)) -> rule7))] The tiger chases the lion.[(((((triple5 triple6) -> rule3)) -> rule4))] @3: The tiger is big.[(((((((triple5 triple6) -> rule3)) -> rule4)) -> rule2))]