The bear is kind. The bear is round. The bear likes the cat. The bear likes the rabbit. The cat is green. The cat likes the bear. The cat needs the bear. The lion likes the bear. The lion likes the rabbit. The lion needs the cat. The lion needs the rabbit. The lion visits the bear. The lion visits the cat. The lion visits the rabbit. The rabbit likes the bear. If something needs the rabbit then it visits the lion. If something needs the cat then it needs the rabbit. If something likes the cat and it needs the bear then it is blue. If something is nice then it visits the bear. If something visits the rabbit then it visits the bear. If something needs the bear then it needs the cat.
The lion does not visit the lion.
@0: The bear is kind.[(triple1)] The bear is round.[(triple2)] The bear likes the cat.[(triple3)] The bear likes the rabbit.[(triple4)] The cat is green.[(triple5)] The cat likes the bear.[(triple6)] The cat needs the bear.[(triple7)] The lion likes the bear.[(triple8)] The lion likes the rabbit.[(triple9)] The lion needs the cat.[(triple10)] The lion needs the rabbit.[(triple11 OR ((triple10) -> rule2))] The lion visits the bear.[(triple12 OR ((triple14) -> rule5))] The lion visits the cat.[(triple13)] The lion visits the rabbit.[(triple14)] The rabbit likes the bear.[(triple15)] @1: The cat needs the cat.[(((triple7) -> rule6))] The lion visits the lion.[(((triple11) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] @2: The cat needs the rabbit.[(((((triple7) -> rule6)) -> rule2))] @3: The cat visits the lion.[(((((((triple7) -> rule6)) -> rule2)) -> rule1))]