The cat does not like the dog. The cat does not like the tiger. The cat visits the lion. The dog likes the cat. The lion is not big. The lion is young. The lion visits the cat. The tiger is blue. The tiger likes the dog. The tiger does not need the lion. The tiger does not visit the cat. The tiger visits the dog. If someone visits the tiger and the tiger needs the lion then the lion visits the tiger. If the cat needs the dog then the dog is cold. If someone needs the tiger and they are young then they visit the dog. If the tiger does not need the cat and the tiger does not need the lion then the cat does not need the dog. Young people are blue. If someone is cold and they do not like the dog then the dog is young. If someone is blue then they like the tiger. If the cat likes the lion and the cat is not big then the cat visits the dog.
The dog does not like the tiger.
@0: The cat does not like the dog.[(triple1)] The cat does not like the tiger.[(triple2)] The cat visits the lion.[(triple3)] The dog likes the cat.[(triple4)] The lion is not big.[(triple5)] The lion is young.[(triple6)] The lion visits the cat.[(triple7)] The tiger does not need the lion.[(triple10)] The tiger does not visit the cat.[(triple11)] The tiger is blue.[(triple8)] The tiger likes the dog.[(triple9)] The tiger visits the dog.[(triple12)] @1: The lion is blue.[(((triple6) -> rule5))] The tiger likes the tiger.[(((triple8) -> rule7))] @2: The lion likes the tiger.[(((((triple6) -> rule5)) -> rule7))]