The cow does not chase the mouse. The cow eats the lion. The cow eats the mouse. The cow is nice. The cow likes the mouse. The lion chases the mouse. The lion is kind. The lion does not like the mouse. The mouse chases the cow. The mouse eats the cow. The mouse does not eat the lion. The mouse is cold. The mouse is kind. The mouse is round. The mouse does not like the cow. The mouse likes the lion. If something is nice then it eats the mouse. If something likes the lion and the lion is not kind then the lion is green. If the cow chases the mouse and the cow is kind then the mouse eats the cow.
The mouse is round.
@0: The cow does not chase the mouse.[(triple1)] The cow eats the lion.[(triple2)] The cow eats the mouse.[(triple3 OR ((triple4) -> rule1))] The cow is nice.[(triple4)] The cow likes the mouse.[(triple5)] The lion chases the mouse.[(triple6)] The lion does not like the mouse.[(triple8)] The lion is kind.[(triple7)] The mouse chases the cow.[(triple9)] The mouse does not eat the lion.[(triple11)] The mouse does not like the cow.[(triple15)] The mouse eats the cow.[(triple10)] The mouse is cold.[(triple12)] The mouse is kind.[(triple13)] The mouse is round.[(triple14)] The mouse likes the lion.[(triple16)]