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