The cat chases the mouse. The cat eats the mouse. The cat is green. The cat is kind. The cat is rough. The cat is young. The cat likes the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is rough. The mouse is young. The mouse likes the cat. If something chases the mouse then the mouse chases the cat. If something is nice then it eats the mouse.
The mouse does not eat the mouse.
@0: The cat chases the mouse.[(triple1)] The cat eats the mouse.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cat likes the mouse.[(triple7)] The mouse chases the cat.[(triple8 OR ((triple1) -> rule1))] The mouse eats the cat.[(triple9)] The mouse is rough.[(triple10)] The mouse is young.[(triple11)] The mouse likes the cat.[(triple12)]