The bear eats the lion. The bear is cold. The bear likes the lion. The bear does not visit the rabbit. The lion eats the bear. The lion does not eat the squirrel. The lion is green. The lion is round. The lion does not like the rabbit. The rabbit eats the bear. The rabbit eats the squirrel. The rabbit is red. The rabbit is round. The rabbit likes the bear. The squirrel eats the bear. The squirrel likes the rabbit. If something eats the rabbit then it is not green. If something eats the bear and the bear visits the lion then it is not green. If something likes the lion then it visits the squirrel.
The lion does not visit the squirrel.
@0: The bear does not visit the rabbit.[(triple4)] The bear eats the lion.[(triple1)] The bear is cold.[(triple2)] The bear likes the lion.[(triple3)] The lion does not eat the squirrel.[(triple6)] The lion does not like the rabbit.[(triple9)] The lion eats the bear.[(triple5)] The lion is green.[(triple7)] The lion is round.[(triple8)] The rabbit eats the bear.[(triple10)] The rabbit eats the squirrel.[(triple11)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the bear.[(triple14)] The squirrel eats the bear.[(triple15)] The squirrel likes the rabbit.[(triple16)] @1: The bear visits the squirrel.[(((triple3) -> rule3))]