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