The cat likes the cow. The cow is cold. The dog likes the cow. The tiger needs the cow. If the cat eats the cow and the cow eats the cat then the cat needs the dog. If someone eats the tiger then the tiger needs the cat. If someone likes the cow then the cow likes the tiger. If the dog needs the cat and the cat eats the dog then the cat is big. All young people are big. If someone is cold then they eat the cow. All young people are rough. If someone likes the tiger and the tiger is young then the tiger eats the cow.
The cat likes the dog.
@0: The cat likes the cow.[(triple1)] The cow is cold.[(triple2)] The dog likes the cow.[(triple3)] The tiger needs the cow.[(triple4)] @1: The cow eats the cow.[(((triple2) -> rule6))] The cow likes the tiger.[(((triple1) -> rule3) OR ((triple3) -> rule3))]