The cat does not chase the tiger. The cat is green. The cat is round. The cat sees the tiger. The dog chases the mouse. The dog chases the tiger. The dog is green. The dog sees the mouse. The dog sees the tiger. The dog visits the cat. The mouse chases the cat. The mouse is not round. The mouse sees the cat. The mouse does not visit the cat. The tiger visits the dog. If someone is round and they do not see the dog then they do not see the cat. If someone sees the cat and the cat visits the tiger then the cat visits the mouse. If someone visits the mouse then they do not chase the mouse. If someone sees the mouse then they chase the dog. If someone is green and they see the tiger then the tiger sees the mouse. If someone chases the tiger and they do not see the cat then the tiger sees the mouse. If someone sees the mouse and the mouse does not chase the tiger then the mouse does not chase the dog. If someone chases the dog and they see the cat then the dog sees the mouse.
The tiger sees the mouse.
@0: The cat does not chase the tiger.[(triple1)] The cat is green.[(triple2)] The cat is round.[(triple3)] The cat sees the tiger.[(triple4)] The dog chases the mouse.[(triple5)] The dog chases the tiger.[(triple6)] The dog is green.[(triple7)] The dog sees the mouse.[(triple8)] The dog sees the tiger.[(triple9)] The dog visits the cat.[(triple10)] The mouse chases the cat.[(triple11)] The mouse does not visit the cat.[(triple14)] The mouse is not round.[(triple12)] The mouse sees the cat.[(triple13)] The tiger visits the dog.[(triple15)] @1: The dog chases the dog.[(((triple8) -> rule4))] The tiger sees the mouse.[(((triple2 triple4) -> rule5) OR ((triple7 triple9) -> rule5))] @2: The tiger chases the dog.[(((((triple2 triple4) -> rule5)) -> rule4) OR ((((triple7 triple9) -> rule5)) -> rule4))]