The cat chases the cow. The cat sees the cow. The cow is cold. The cow is round. The cow needs the mouse. The cow sees the cat. The cow sees the mouse. The mouse chases the cat. The mouse chases the cow. The mouse is cold. The mouse is round. The mouse needs the cat. The mouse needs the cow. The mouse sees the cat. The mouse sees the cow. If someone needs the mouse and the mouse sees the cow then the cow sees the mouse. If someone sees the mouse then they chase the cat.
The cow sees the mouse.
@0: The cat chases the cow.[(triple1)] The cat sees the cow.[(triple2)] The cow is cold.[(triple3)] The cow is round.[(triple4)] The cow needs the mouse.[(triple5)] The cow sees the cat.[(triple6)] The cow sees the mouse.[(triple7 OR ((triple5 triple15) -> rule1))] The mouse chases the cat.[(triple8)] The mouse chases the cow.[(triple9)] The mouse is cold.[(triple10)] The mouse is round.[(triple11)] The mouse needs the cat.[(triple12)] The mouse needs the cow.[(triple13)] The mouse sees the cat.[(triple14)] The mouse sees the cow.[(triple15)] @1: The cow chases the cat.[(((triple7) -> rule2) OR ((((triple5 triple15) -> rule1)) -> rule2))]