The cow chases the mouse. The cow is big. The cow is rough. The cow likes the mouse. The lion chases the tiger. The lion is round. The lion likes the tiger. The mouse chases the cow. The mouse chases the lion. The mouse chases the tiger. The mouse likes the cow. The mouse likes the lion. The mouse visits the tiger. The tiger chases the cow. The tiger is round. The tiger visits the lion. If something visits the cow then the cow is big. If something visits the cow then the cow chases the lion. If something visits the mouse then the mouse chases the cow. If the mouse chases the lion then the mouse visits the tiger. If the lion chases the tiger and the tiger is red then the lion chases the mouse. If something visits the cow then it visits the tiger. If the mouse likes the tiger and the tiger visits the mouse then the tiger chases the mouse. If something is rough then it chases the mouse.
The mouse does not visit the tiger.
@0: The cow chases the mouse.[(triple1 OR ((triple3) -> rule8))] The cow is big.[(triple2)] The cow is rough.[(triple3)] The cow likes the mouse.[(triple4)] The lion chases the tiger.[(triple5)] The lion is round.[(triple6)] The lion likes the tiger.[(triple7)] The mouse chases the cow.[(triple8)] The mouse chases the lion.[(triple9)] The mouse chases the tiger.[(triple10)] The mouse likes the cow.[(triple11)] The mouse likes the lion.[(triple12)] The mouse visits the tiger.[(triple13 OR ((triple9) -> rule4))] The tiger chases the cow.[(triple14)] The tiger is round.[(triple15)] The tiger visits the lion.[(triple16)]