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