The cat chases the cow. The cat chases the rabbit. The cat is cold. The cow eats the cat. The cow is cold. The cow visits the rabbit. The cow visits the tiger. The rabbit is red. The tiger eats the rabbit. The tiger is green. The tiger is rough. The tiger visits the cow. If someone eats the cow then the cow chases the rabbit. If someone eats the rabbit and they visit the cow then the cow is cold. If someone eats the tiger and the tiger chases the cow then the cow visits the tiger. If someone visits the cow then the cow visits the tiger. If someone is kind then they chase the cow. If the cow is green and the cow visits the cat then the cow is red. If someone is kind and they visit the tiger then the tiger visits the cow. If someone chases the tiger and the tiger eats the rabbit then they visit the rabbit.
The cat does not chase the rabbit.
@0: The cat chases the cow.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is cold.[(triple3)] The cow eats the cat.[(triple4)] The cow is cold.[(triple5 OR ((triple9 triple12) -> rule2))] The cow visits the rabbit.[(triple6)] The cow visits the tiger.[(triple7 OR ((triple12) -> rule4))] The rabbit is red.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger is green.[(triple10)] The tiger is rough.[(triple11)] The tiger visits the cow.[(triple12)]