The cat is not big. The cat is not cold. The cat is not kind. The cat is red. The cat is not young. The cat does not like the cow. The cat does not see the cow. The cat visits the cow. The cow is big. The cow is kind. The cow is not red. The cow is not young. The cow does not like the cat. The cow sees the cat. The cow does not visit the cat. If someone visits the cow and they do not see the cat then the cat visits the cow. If someone is big and they like the cat then the cat is big. If the cow is cold and the cow is not young then the cow is not big. If someone is big then they see the cow. If someone likes the cow then they do not see the cow. If someone is red and they like the cat then the cat is cold.
The cat likes the cat.
@0: The cat does not like the cow.[(triple6)] The cat does not see the cow.[(triple7)] The cat is not big.[(triple1)] The cat is not cold.[(triple2)] The cat is not kind.[(triple3)] The cat is not young.[(triple5)] The cat is red.[(triple4)] The cat visits the cow.[(triple8)] The cow does not like the cat.[(triple13)] The cow does not visit the cat.[(triple15)] The cow is big.[(triple9)] The cow is kind.[(triple10)] The cow is not red.[(triple11)] The cow is not young.[(triple12)] The cow sees the cat.[(triple14)] @1: The cow sees the cow.[(((triple9) -> rule4))]