The cat is big. The cat is not kind. The cat is nice. The cat is red. The cat is not rough. The cat likes the tiger. The cat does not need the tiger. The cat does not visit the tiger. The tiger is big. The tiger is kind. The tiger is nice. The tiger is red. The tiger is not rough. The tiger does not like the cat. The tiger does not need the cat. The tiger visits the cat. If something visits the cat and the cat does not visit the tiger then the cat does not need the tiger. All rough things are red. If something needs the tiger then the tiger is not red. If something needs the cat and the cat visits the tiger then the cat is nice. If the tiger does not visit the cat and the cat does not need the tiger then the tiger needs the cat. If something needs the tiger then the tiger needs the cat. If the tiger needs the cat and the cat is rough then the cat is kind. If the cat visits the tiger and the cat needs the tiger then the cat is kind.
The tiger visits the tiger.
@0: The cat does not need the tiger.[(triple7 OR ((triple16 triple8) -> rule1))] The cat does not visit the tiger.[(triple8)] The cat is big.[(triple1)] The cat is nice.[(triple3)] The cat is not kind.[(triple2)] The cat is not rough.[(triple5)] The cat is red.[(triple4)] The cat likes the tiger.[(triple6)] The tiger does not like the cat.[(triple14)] The tiger does not need the cat.[(triple15)] The tiger is big.[(triple9)] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is not rough.[(triple13)] The tiger is red.[(triple12)] The tiger visits the cat.[(triple16)]