The bear is kind. The bear likes the cat. The bear visits the lion. The cat chases the bear. The cat is blue. The cat visits the bear. The lion chases the bear. The lion is big. The lion is not nice. The lion is not young. The lion likes the cat. The lion visits the cat. If something likes the bear and it does not visit the bear then it is young. If the bear does not chase the cat then the cat visits the lion. If the lion is big then the lion visits the cat. If something chases the cat then the cat is not young. If something is nice then it does not chase the lion. If something likes the bear and it does not visit the lion then it chases the lion. If something chases the lion and it likes the lion then the lion is kind. If something chases the lion and it is nice then the lion is kind.
The lion does not visit the cat.
@0: The bear is kind.[(triple1)] The bear likes the cat.[(triple2)] The bear visits the lion.[(triple3)] The cat chases the bear.[(triple4)] The cat is blue.[(triple5)] The cat visits the bear.[(triple6)] The lion chases the bear.[(triple7)] The lion is big.[(triple8)] The lion is not nice.[(triple9)] The lion is not young.[(triple10)] The lion likes the cat.[(triple11)] The lion visits the cat.[(triple12 OR ((triple8) -> rule3))]