The cat is big. The cat is blue. The cat is kind. The cat is rough. The cat is young. The cat likes the tiger. The cat does not see the tiger. The cat does not visit the tiger. The tiger is big. The tiger is blue. The tiger is kind. The tiger is rough. The tiger is young. The tiger likes the cat. The tiger does not see the cat. The tiger visits the cat. If the cat likes the tiger and the tiger does not like the cat then the tiger sees the cat. If the tiger is big and the tiger visits the cat then the cat does not see the tiger.
The tiger is not big.
@0: The cat does not see the tiger.[(triple7 OR ((triple9 triple16) -> rule2))] The cat does not visit the tiger.[(triple8)] The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is kind.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat likes the tiger.[(triple6)] The tiger does not see the cat.[(triple15)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cat.[(triple14)] The tiger visits the cat.[(triple16)]