The cow chases the dog. The cow chases the tiger. The cow is green. The cow is kind. The cow is round. The cow sees the mouse. The cow does not visit the tiger. The dog is round. The mouse is green. The mouse is kind. The mouse is round. The tiger chases the cow. If someone chases the mouse then they do not see the cow. If someone is round then they visit the cow. If someone is green and they chase the dog then the dog does not see the tiger. If someone chases the tiger and the tiger chases the cow then the cow is not big. If someone is blue then they see the tiger. If someone sees the tiger and they do not see the dog then the dog is not kind. If the dog visits the mouse and the dog visits the tiger then the mouse is round. All green people are round.
The cow chases the tiger.
@0: The cow chases the dog.[(triple1)] The cow chases the tiger.[(triple2)] The cow does not visit the tiger.[(triple7)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is round.[(triple5 OR ((triple3) -> rule8))] The cow sees the mouse.[(triple6)] The dog is round.[(triple8)] The mouse is green.[(triple9)] The mouse is kind.[(triple10)] The mouse is round.[(triple11 OR ((triple9) -> rule8))] The tiger chases the cow.[(triple12)] @1: The cow is not big.[(((triple2 triple12) -> rule4))] The cow visits the cow.[(((triple5) -> rule2) OR ((((triple3) -> rule8)) -> rule2))] The dog does not see the tiger.[(((triple3 triple1) -> rule3))] The dog visits the cow.[(((triple8) -> rule2))] The mouse visits the cow.[(((triple11) -> rule2) OR ((((triple9) -> rule8)) -> rule2))]