The cow chases the mouse. The cow eats the mouse. The cow is big. The cow is blue. The cow is green. The cow is rough. The cow is round. The cow sees the mouse. The mouse chases the cow. The mouse eats the cow. The mouse is big. The mouse is blue. The mouse is not rough. The mouse is round. The mouse sees the cow. If the mouse eats the cow then the cow sees the mouse. If something is blue and green then it eats the mouse.
The mouse does not eat the mouse.
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2 OR ((triple4 triple5) -> rule2))] The cow is big.[(triple3)] The cow is blue.[(triple4)] The cow is green.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7)] The cow sees the mouse.[(triple8 OR ((triple10) -> rule1))] The mouse chases the cow.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is big.[(triple11)] The mouse is blue.[(triple12)] The mouse is not rough.[(triple13)] The mouse is round.[(triple14)] The mouse sees the cow.[(triple15)]