The cow chases the mouse. The cow is blue. The cow is kind. The cow is nice. The cow is rough. The cow is young. The cow likes the mouse. The cow needs the mouse. The mouse chases the cow. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is young. The mouse likes the cow. The mouse needs the cow. If someone needs the mouse then the mouse likes the cow.
The mouse is blue.
@0: The cow chases the mouse.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow likes the mouse.[(triple7)] The cow needs the mouse.[(triple8)] The mouse chases the cow.[(triple9)] The mouse is blue.[(triple10)] The mouse is kind.[(triple11)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse is young.[(triple14)] The mouse likes the cow.[(triple15 OR ((triple8) -> rule1))] The mouse needs the cow.[(triple16)]