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