The bear is blue. The bear likes the dog. The bear sees the cow. The bear sees the rabbit. The bear visits the cow. The cow likes the dog. The cow likes the rabbit. The dog is red. The dog likes the rabbit. The dog visits the cow. The rabbit is blue. The rabbit likes the bear. The rabbit sees the cow. The rabbit sees the dog. The rabbit visits the cow. If someone visits the dog and the dog likes the rabbit then they visit the rabbit. If someone visits the dog and the dog visits the cow then the dog sees the rabbit. If someone likes the rabbit and they like the bear then they are red. If someone sees the dog then the dog likes the bear. If the dog sees the bear and the bear likes the cow then the bear sees the rabbit. If someone visits the cow and the cow is blue then the cow visits the rabbit. If someone likes the rabbit and the rabbit is red then they visit the bear. If the bear visits the dog and the dog is big then the dog sees the rabbit.
The bear visits the rabbit.
@0: The bear is blue.[(triple1)] The bear likes the dog.[(triple2)] The bear sees the cow.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the cow.[(triple5)] The cow likes the dog.[(triple6)] The cow likes the rabbit.[(triple7)] The dog is red.[(triple8 OR ((triple9 ((triple14) -> rule4)) -> rule3))] The dog likes the rabbit.[(triple9)] The dog visits the cow.[(triple10)] The rabbit is blue.[(triple11)] The rabbit likes the bear.[(triple12)] The rabbit sees the cow.[(triple13)] The rabbit sees the dog.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The dog likes the bear.[(((triple14) -> rule4))]