The bear is cold. The bear is kind. The bear is red. The bear is young. The bear likes the lion. The cat is green. The cat likes the lion. The cat does not visit the bear. The cat visits the lion. The lion is cold. The lion is young. The lion likes the bear. The lion does not like the cat. The lion sees the bear. The lion sees the cat. The lion visits the bear. If someone likes the lion then they visit the cat. If someone visits the bear and they like the lion then the lion sees the bear. If the bear is green and the bear visits the cat then the cat is not kind.
The lion does not visit the cat.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear likes the lion.[(triple5)] The cat does not visit the bear.[(triple8)] The cat is green.[(triple6)] The cat likes the lion.[(triple7)] The cat visits the lion.[(triple9)] The lion does not like the cat.[(triple13)] The lion is cold.[(triple10)] The lion is young.[(triple11)] The lion likes the bear.[(triple12)] The lion sees the bear.[(triple14)] The lion sees the cat.[(triple15)] The lion visits the bear.[(triple16)] @1: The bear visits the cat.[(((triple5) -> rule1))] The cat visits the cat.[(((triple7) -> rule1))]