The bear needs the cow. The bear sees the cow. The cat is blue. The cat is red. The cat is young. The cat needs the bear. The cat needs the lion. The cat visits the lion. The cow is cold. The cow sees the bear. The cow sees the cat. The cow visits the cat. The lion is blue. The lion needs the bear. The lion needs the cat. The lion visits the bear. If someone visits the bear and they see the lion then the bear needs the cat. If someone needs the bear then they visit the lion. If the lion sees the cat then the cat is cold.
The cow sees the cow.
@0: The bear needs the cow.[(triple1)] The bear sees the cow.[(triple2)] The cat is blue.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)] The cat needs the bear.[(triple6)] The cat needs the lion.[(triple7)] The cat visits the lion.[(triple8 OR ((triple6) -> rule2))] The cow is cold.[(triple9)] The cow sees the bear.[(triple10)] The cow sees the cat.[(triple11)] The cow visits the cat.[(triple12)] The lion is blue.[(triple13)] The lion needs the bear.[(triple14)] The lion needs the cat.[(triple15)] The lion visits the bear.[(triple16)] @1: The lion visits the lion.[(((triple14) -> rule2))]