The bear is nice. The bear visits the rabbit. The cow sees the rabbit. The cow visits the rabbit. The mouse chases the cow. The mouse is not blue. The mouse is not kind. The mouse is nice. The mouse visits the rabbit. The rabbit chases the cow. The rabbit chases the mouse. The rabbit is kind. The rabbit sees the cow. The rabbit sees the mouse. The rabbit visits the cow. If someone sees the mouse and the mouse chases the bear then the bear visits the rabbit. If someone visits the bear then the bear is blue. If someone sees the cow then they are not nice. If someone is kind and they chase the rabbit then the rabbit chases the cow. If the rabbit is not red then the rabbit is not kind. If someone chases the cow then the cow sees the bear.
The rabbit does not visit the cow.
@0: The bear is nice.[(triple1)] The bear visits the rabbit.[(triple2)] The cow sees the rabbit.[(triple3)] The cow visits the rabbit.[(triple4)] The mouse chases the cow.[(triple5)] The mouse is nice.[(triple8)] The mouse is not blue.[(triple6)] The mouse is not kind.[(triple7)] The mouse visits the rabbit.[(triple9)] The rabbit chases the cow.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is kind.[(triple12)] The rabbit sees the cow.[(triple13)] The rabbit sees the mouse.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The cow sees the bear.[(((triple10) -> rule6) OR ((triple5) -> rule6))] The rabbit is not nice.[(((triple13) -> rule3))]