The cow chases the mouse. The cow is rough. The cow likes the mouse. The cow needs the mouse. The mouse chases the cow. The mouse is big. The mouse is cold. The mouse is green. The mouse is kind. The mouse likes the cow. If someone chases the cow then the cow likes the mouse. If the cow is green and the cow is rough then the cow chases the mouse. If the mouse needs the cow and the cow is cold then the mouse likes the cow. If someone needs the mouse and they are kind then they chase the cow. If the mouse needs the cow then the mouse likes the cow. If the cow chases the mouse then the mouse needs the cow. If someone is kind then they like the mouse. If the cow chases the mouse and the mouse likes the cow then the cow is green.
The cow does not chase the cow.
@0: The cow chases the mouse.[(triple1)] The cow is rough.[(triple2)] The cow likes the mouse.[(triple3 OR ((triple5) -> rule1))] The cow needs the mouse.[(triple4)] The mouse chases the cow.[(triple5)] The mouse is big.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the cow.[(triple10 OR ((((triple1) -> rule6)) -> rule5))] @1: The cow is green.[(((triple1 triple10) -> rule8) OR ((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule8))] The mouse likes the mouse.[(((triple9) -> rule7))] The mouse needs the cow.[(((triple1) -> rule6))]