The cat does not eat the lion. The cat is big. The cat is not blue. The cat is cold. The cat is not kind. The cat is round. The cat likes the lion. The cat visits the lion. The lion eats the cat. The lion is not big. The lion is blue. The lion is cold. The lion is kind. The lion is round. The lion likes the cat. The lion does not visit the cat. If something visits the cat and the cat eats the lion then the cat is not round. If something eats the lion then it visits the cat. If the lion is big then the lion visits the cat. If the lion is big then the lion eats the cat. If something eats the lion then the lion likes the cat. If something visits the lion then it does not eat the cat.
The cat is not big.
@0: The cat does not eat the lion.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple4)] The cat is not blue.[(triple3)] The cat is not kind.[(triple5)] The cat is round.[(triple6)] The cat likes the lion.[(triple7)] The cat visits the lion.[(triple8)] The lion does not visit the cat.[(triple16)] The lion eats the cat.[(triple9)] The lion is blue.[(triple11)] The lion is cold.[(triple12)] The lion is kind.[(triple13)] The lion is not big.[(triple10)] The lion is round.[(triple14)] The lion likes the cat.[(triple15)] @1: The cat does not eat the cat.[(((triple8) -> rule6))]