The cat chases the rabbit. The dog eats the lion. The lion eats the rabbit. The rabbit is nice. Big, young things are round. If something likes the lion and it is round then it is nice. If something likes the dog then the dog likes the rabbit. If something eats the rabbit then the rabbit chases the cat. If something chases the lion and the lion is blue then the lion likes the dog. If something chases the cat then the cat chases the rabbit. If something likes the rabbit then the rabbit eats the cat. If something is round then it likes the cat.
The dog is not nice.
@0: The cat chases the rabbit.[(triple1 OR ((((triple3) -> rule4)) -> rule6))] The dog eats the lion.[(triple2)] The lion eats the rabbit.[(triple3)] The rabbit is nice.[(triple4)] @1: The rabbit chases the cat.[(((triple3) -> rule4))]