The cat eats the cow. The cat eats the lion. The cat is kind. The cat sees the lion. The cow does not eat the tiger. The cow is blue. The cow likes the cat. The cow does not see the lion. The cow sees the tiger. The lion is kind. The tiger eats the cow. The tiger is cold. The tiger is kind. The tiger is young. The tiger likes the cat. The tiger does not like the cow. If the cow likes the tiger and the tiger likes the cat then the cat is young. If someone is blue and they like the cow then they are kind. If someone likes the lion and they do not like the cat then the cat eats the lion. If someone likes the cat and the cat likes the cow then the cat is not blue. If someone sees the tiger and they like the tiger then they are blue. If the tiger is kind then the tiger does not see the lion.
The cat is not young.
@0: The cat eats the cow.[(triple1)] The cat eats the lion.[(triple2)] The cat is kind.[(triple3)] The cat sees the lion.[(triple4)] The cow does not eat the tiger.[(triple5)] The cow does not see the lion.[(triple8)] The cow is blue.[(triple6)] The cow likes the cat.[(triple7)] The cow sees the tiger.[(triple9)] The lion is kind.[(triple10)] The tiger does not like the cow.[(triple16)] The tiger eats the cow.[(triple11)] The tiger is cold.[(triple12)] The tiger is kind.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cat.[(triple15)] @1: The tiger does not see the lion.[(((triple13) -> rule6))]