The cat chases the tiger. The cat is big. The cat sees the tiger. The cat visits the tiger. The lion chases the tiger. The lion is big. The lion is rough. The lion sees the cat. The lion sees the tiger. The lion visits the cat. The tiger chases the cat. The tiger is big. The tiger is blue. The tiger sees the cat. The tiger sees the lion. The tiger visits the cat. If the lion is not big then the lion visits the cat. If someone chases the tiger and they visit the cat then the cat does not visit the lion.
The lion sees the cat.
@0: The cat chases the tiger.[(triple1)] The cat is big.[(triple2)] The cat sees the tiger.[(triple3)] The cat visits the tiger.[(triple4)] The lion chases the tiger.[(triple5)] The lion is big.[(triple6)] The lion is rough.[(triple7)] The lion sees the cat.[(triple8)] The lion sees the tiger.[(triple9)] The lion visits the cat.[(triple10)] The tiger chases the cat.[(triple11)] The tiger is big.[(triple12)] The tiger is blue.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the lion.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cat does not visit the lion.[(((triple5 triple10) -> rule2))]