The cat chases the mouse. The cat is big. The cat is green. The cat is kind. The cat does not visit the tiger. The mouse is not kind. The mouse is rough. The mouse visits the tiger. The tiger chases the cat. The tiger is round. If something visits the tiger and the tiger chases the mouse then the mouse visits the cat.
The mouse visits the tiger.
@0: The cat chases the mouse.[(triple1)] The cat does not visit the tiger.[(triple5)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The mouse is not kind.[(triple6)] The mouse is rough.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger is round.[(triple10)]