The bear eats the lion. The bear is not rough. The bear is young. The bear likes the lion. The cat likes the bear. The cat does not like the rabbit. The cat sees the lion. The lion is rough. The lion likes the bear. The rabbit is nice. The rabbit is red. The rabbit sees the bear. If someone sees the bear then they do not eat the cat.
The rabbit sees the bear.
@0: The bear eats the lion.[(triple1)] The bear is not rough.[(triple2)] The bear is young.[(triple3)] The bear likes the lion.[(triple4)] The cat does not like the rabbit.[(triple6)] The cat likes the bear.[(triple5)] The cat sees the lion.[(triple7)] The lion is rough.[(triple8)] The lion likes the bear.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is red.[(triple11)] The rabbit sees the bear.[(triple12)] @1: The rabbit does not eat the cat.[(((triple12) -> rule1))]