The cat eats the dog. The cat is big. The cat is cold. The cat is red. The cat is rough. The cat is round. The cat likes the dog. The cat sees the dog. The dog eats the cat. The dog is big. The dog is cold. The dog is red. The dog is rough. The dog does not like the cat. The dog sees the cat. If someone likes the cat and they like the dog then the dog sees the cat. If someone sees the cat then the cat sees the dog. If someone likes the dog then they are round.
The dog is not round.
@0: The cat eats the dog.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is red.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6 OR ((triple7) -> rule3))] The cat likes the dog.[(triple7)] The cat sees the dog.[(triple8 OR ((triple15) -> rule2))] The dog does not like the cat.[(triple14)] The dog eats the cat.[(triple9)] The dog is big.[(triple10)] The dog is cold.[(triple11)] The dog is red.[(triple12)] The dog is rough.[(triple13)] The dog sees the cat.[(triple15)]