The cat is cold. The cat is not kind. The cat likes the cow. The cat visits the cow. The cat visits the dog. The cow is blue. The cow is nice. The cow likes the cat. The cow does not visit the cat. The dog is kind. The dog is nice. The dog sees the cat. The dog sees the cow. The dog visits the cat. The dog does not visit the cow. If something is blue and it visits the cat then the cat visits the dog. If something likes the cat and it does not visit the cow then it likes the cow. If the cow does not like the cat then the cat does not like the cow. If something is nice and blue then it likes the dog. If something is big then it likes the dog. If something likes the dog then it sees the cow. If the cat likes the cow and the cat is nice then the cat does not like the dog. If the cat does not visit the dog then the dog sees the cat.
The cow likes the dog.
@0: The cat is cold.[(triple1)] The cat is not kind.[(triple2)] The cat likes the cow.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the dog.[(triple5)] The cow does not visit the cat.[(triple9)] The cow is blue.[(triple6)] The cow is nice.[(triple7)] The cow likes the cat.[(triple8)] The dog does not visit the cow.[(triple15)] The dog is kind.[(triple10)] The dog is nice.[(triple11)] The dog sees the cat.[(triple12)] The dog sees the cow.[(triple13)] The dog visits the cat.[(triple14)] @1: The cow likes the dog.[(((triple7 triple6) -> rule4))] @2: The cow sees the cow.[(((((triple7 triple6) -> rule4)) -> rule6))]