The cow chases the rabbit. The cow chases the tiger. The cow eats the tiger. The cow visits the tiger. The lion is cold. The lion is kind. The lion is rough. The lion visits the tiger. The rabbit eats the lion. The rabbit is cold. The tiger is kind. The tiger visits the cow. If someone visits the cow then they chase the rabbit. If the lion visits the cow then the lion eats the cow. If someone visits the rabbit and the rabbit eats the tiger then they chase the tiger. If the rabbit chases the lion then the lion eats the rabbit. If the tiger chases the lion then the lion visits the rabbit. If someone visits the cow and the cow is round then the cow eats the tiger. If someone chases the cow then the cow chases the tiger. If someone is cold and they eat the cow then they visit the lion.
The rabbit visits the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow chases the tiger.[(triple2)] The cow eats the tiger.[(triple3)] The cow visits the tiger.[(triple4)] The lion is cold.[(triple5)] The lion is kind.[(triple6)] The lion is rough.[(triple7)] The lion visits the tiger.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger visits the cow.[(triple12)] @1: The tiger chases the rabbit.[(((triple12) -> rule1))]