The cow chases the mouse. The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is young. The cow likes the mouse. The cow sees the mouse. The mouse chases the cow. The mouse is big. The mouse is blue. The mouse is cold. The mouse is green. The mouse is young. The mouse likes the cow. The mouse sees the cow. If something is blue then it chases the mouse. If something is young and it chases the mouse then it sees the mouse.
The cow sees the cow.
@0: The cow chases the mouse.[(triple1 OR ((triple3) -> rule1))] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow is young.[(triple6)] The cow likes the mouse.[(triple7)] The cow sees the mouse.[(triple8 OR ((triple6 triple1) -> rule2) OR ((triple6 ((triple3) -> rule1)) -> rule2))] The mouse chases the cow.[(triple9)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is cold.[(triple12)] The mouse is green.[(triple13)] The mouse is young.[(triple14)] The mouse likes the cow.[(triple15)] The mouse sees the cow.[(triple16)] @1: The mouse chases the mouse.[(((triple11) -> rule1))] @2: The mouse sees the mouse.[(((triple14 ((triple11) -> rule1)) -> rule2))]