The cow chases the rabbit. The cow is red. The cow is rough. The cow is young. The cow sees the rabbit. The lion chases the cow. The lion needs the cow. The lion sees the cow. The mouse is green. The mouse is red. The rabbit chases the cow. The rabbit is rough. The rabbit needs the cow. The rabbit needs the lion. The rabbit sees the lion. The rabbit sees the mouse. If something needs the rabbit and it chases the cow then it sees the lion. If something is rough and it chases the cow then it sees the rabbit. If something is green then it chases the mouse. If the lion chases the rabbit then the rabbit needs the lion. If something chases the mouse and the mouse is rough then the mouse needs the rabbit. If something is rough and it sees the mouse then the mouse needs the lion. If something chases the rabbit then the rabbit needs the lion. If something needs the cow and it sees the mouse then it is red.
The mouse needs the lion.
@0: The cow chases the rabbit.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow is young.[(triple4)] The cow sees the rabbit.[(triple5)] The lion chases the cow.[(triple6)] The lion needs the cow.[(triple7)] The lion sees the cow.[(triple8)] The mouse is green.[(triple9)] The mouse is red.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit is rough.[(triple12)] The rabbit needs the cow.[(triple13)] The rabbit needs the lion.[(triple14 OR ((triple1) -> rule7))] The rabbit sees the lion.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The mouse chases the mouse.[(((triple9) -> rule3))] The mouse needs the lion.[(((triple12 triple16) -> rule6))] The rabbit is red.[(((triple13 triple16) -> rule8))] The rabbit sees the rabbit.[(((triple12 triple11) -> rule2))]