The cat likes the dog. The cat visits the dog. The cow is big. The cow is red. The cow is rough. The cow is round. The cow likes the cat. The cow likes the dog. The cow needs the cat. The cow needs the dog. The dog is red. The dog is not round. The dog is young. The dog likes the cat. The dog likes the cow. The dog visits the cat. If the cat is not round and the cat does not need the dog then the dog likes the cow. If someone likes the cow then they are young. If someone visits the cow and they do not like the cat then the cat visits the dog. If someone visits the dog and they do not visit the cat then the dog is round. If the dog needs the cow then the cow likes the dog. If someone visits the cat and the cat does not visit the dog then they need the cow.
The cow is not big.
@0: The cat likes the dog.[(triple1)] The cat visits the dog.[(triple2)] The cow is big.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow likes the cat.[(triple7)] The cow likes the dog.[(triple8)] The cow needs the cat.[(triple9)] The cow needs the dog.[(triple10)] The dog is not round.[(triple12)] The dog is red.[(triple11)] The dog is young.[(triple13 OR ((triple15) -> rule2))] The dog likes the cat.[(triple14)] The dog likes the cow.[(triple15)] The dog visits the cat.[(triple16)]