The cat chases the rabbit. The cat is cold. The cat visits the rabbit. The lion does not chase the cat. The lion chases the rabbit. The lion does not eat the rabbit. The lion visits the cat. The rabbit chases the lion. The rabbit eats the cat. The rabbit visits the cat. If something eats the lion and the lion eats the rabbit then the lion is red. If the rabbit visits the cat then the cat eats the lion. If something visits the lion and it is kind then the lion chases the rabbit. If the rabbit is cold and the rabbit does not chase the lion then the lion chases the cat. If something is rough then it eats the lion. If something visits the rabbit then it is big. If something visits the rabbit then it visits the lion. If something visits the rabbit and it is not big then it eats the cat.
The rabbit does not eat the cat.
@0: The cat chases the rabbit.[(triple1)] The cat is cold.[(triple2)] The cat visits the rabbit.[(triple3)] The lion chases the rabbit.[(triple5)] The lion does not chase the cat.[(triple4)] The lion does not eat the rabbit.[(triple6)] The lion visits the cat.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The cat eats the lion.[(((triple10) -> rule2))] The cat is big.[(((triple3) -> rule6))] The cat visits the lion.[(((triple3) -> rule7))]