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