The bear does not chase the lion. The bear likes the lion. The bear likes the mouse. The bear does not visit the lion. The lion chases the mouse. The lion is cold. The lion is not rough. The lion does not like the bear. The lion likes the mouse. The lion visits the bear. The lion visits the mouse. The mouse is not green. The mouse is round. The mouse likes the lion. The mouse visits the bear. The mouse does not visit the lion. If someone is round then they visit the bear. If someone likes the bear then the bear does not chase the mouse.
The mouse is green.
@0: The bear does not chase the lion.[(triple1)] The bear does not visit the lion.[(triple4)] The bear likes the lion.[(triple2)] The bear likes the mouse.[(triple3)] The lion chases the mouse.[(triple5)] The lion does not like the bear.[(triple8)] The lion is cold.[(triple6)] The lion is not rough.[(triple7)] The lion likes the mouse.[(triple9)] The lion visits the bear.[(triple10)] The lion visits the mouse.[(triple11)] The mouse does not visit the lion.[(triple16)] The mouse is not green.[(triple12)] The mouse is round.[(triple13)] The mouse likes the lion.[(triple14)] The mouse visits the bear.[(triple15 OR ((triple13) -> rule1))]