The cat is cold. The cat does not like the tiger. The cow eats the cat. The cow is cold. The cow is nice. The cow is red. The cow likes the cat. The cow likes the tiger. The cow visits the cat. The cow visits the tiger. The tiger eats the cat. The tiger visits the cat. If someone is cold and they visit the cow then the cow likes the cat. If someone likes the tiger and the tiger eats the cat then the cat eats the cow. If someone visits the cat and the cat is red then they are big.
The cat eats the tiger.
@0: The cat does not like the tiger.[(triple2)] The cat is cold.[(triple1)] The cow eats the cat.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow likes the cat.[(triple7)] The cow likes the tiger.[(triple8)] The cow visits the cat.[(triple9)] The cow visits the tiger.[(triple10)] The tiger eats the cat.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cat eats the cow.[(((triple8 triple11) -> rule2))]