The cow chases the mouse. The cow chases the rabbit. The cow sees the mouse. The cow sees the rabbit. The lion chases the rabbit. The lion needs the cow. The mouse chases the cow. The mouse chases the lion. The mouse needs the rabbit. The mouse sees the lion. The rabbit chases the mouse. The rabbit is cold. The rabbit is rough. The rabbit needs the mouse. The rabbit sees the mouse. If someone chases the cow and the cow is nice then they see the cow. If someone sees the mouse then they are kind. If someone needs the cow and they need the rabbit then the cow is rough. If the mouse sees the rabbit and the rabbit is rough then the mouse chases the cow. If someone chases the cow then they are rough. If someone sees the mouse and they see the lion then the mouse sees the cow.
The rabbit is not rough.
@0: The cow chases the mouse.[(triple1)] The cow chases the rabbit.[(triple2)] The cow sees the mouse.[(triple3)] The cow sees the rabbit.[(triple4)] The lion chases the rabbit.[(triple5)] The lion needs the cow.[(triple6)] The mouse chases the cow.[(triple7)] The mouse chases the lion.[(triple8)] The mouse needs the rabbit.[(triple9)] The mouse sees the lion.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is rough.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The cow is kind.[(((triple3) -> rule2))] The mouse is rough.[(((triple7) -> rule5))] The rabbit is kind.[(((triple15) -> rule2))]