The cow chases the mouse. The cow is red. The cow likes the mouse. The mouse is green. The mouse is young. The mouse sees the tiger. The tiger chases the cow. The tiger likes the cow. The tiger likes the mouse. The tiger sees the cow. If someone is green then they see the tiger.
The tiger likes the cow.
@0: The cow chases the mouse.[(triple1)] The cow is red.[(triple2)] The cow likes the mouse.[(triple3)] The mouse is green.[(triple4)] The mouse is young.[(triple5)] The mouse sees the tiger.[(triple6 OR ((triple4) -> rule1))] The tiger chases the cow.[(triple7)] The tiger likes the cow.[(triple8)] The tiger likes the mouse.[(triple9)] The tiger sees the cow.[(triple10)]