The cat chases the rabbit. The cat eats the lion. The cat is red. The cat is rough. The cat needs the dog. The cat needs the lion. The dog chases the cat. The dog chases the rabbit. The dog eats the lion. The dog eats the rabbit. The dog is kind. The dog needs the rabbit. The lion is rough. The lion needs the rabbit. The rabbit chases the cat. If something needs the dog and it chases the dog then it eats the rabbit. If something chases the rabbit and the rabbit is round then it eats the cat. If something eats the cat then the cat is rough. If something chases the lion then the lion eats the dog. If something chases the rabbit and it is nice then the rabbit eats the cat. If something needs the lion then it eats the dog. Rough things are nice. If the dog needs the cat then the cat is kind.
The lion does not eat the dog.
@0: The cat chases the rabbit.[(triple1)] The cat eats the lion.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat needs the dog.[(triple5)] The cat needs the lion.[(triple6)] The dog chases the cat.[(triple7)] The dog chases the rabbit.[(triple8)] The dog eats the lion.[(triple9)] The dog eats the rabbit.[(triple10)] The dog is kind.[(triple11)] The dog needs the rabbit.[(triple12)] The lion is rough.[(triple13)] The lion needs the rabbit.[(triple14)] The rabbit chases the cat.[(triple15)] @1: The cat eats the dog.[(((triple6) -> rule6))] The cat is nice.[(((triple4) -> rule7))] The lion is nice.[(((triple13) -> rule7))] @2: The rabbit eats the cat.[(((triple1 ((triple4) -> rule7)) -> rule5))]