The cat chases the tiger. The cat is blue. The cat is nice. The cat does not visit the mouse. The mouse chases the cat. The mouse chases the rabbit. The mouse chases the tiger. The mouse eats the tiger. The mouse is red. The mouse does not visit the rabbit. The rabbit does not eat the tiger. The rabbit is rough. The tiger chases the mouse. The tiger chases the rabbit. The tiger visits the cat. If something eats the rabbit and the rabbit is blue then it eats the tiger. If something is red then it chases the cat. If something eats the rabbit then the rabbit chases the tiger. If the cat eats the mouse and the rabbit does not visit the cat then the rabbit chases the tiger. If something eats the cat then it visits the rabbit. If something chases the mouse and it eats the tiger then the tiger visits the mouse. If something chases the tiger then it eats the rabbit. If something chases the mouse and the mouse does not chase the cat then the cat is not nice.
The cat chases the cat.
@0: The cat chases the tiger.[(triple1)] The cat does not visit the mouse.[(triple4)] The cat is blue.[(triple2)] The cat is nice.[(triple3)] The mouse chases the cat.[(triple5 OR ((triple9) -> rule2))] The mouse chases the rabbit.[(triple6)] The mouse chases the tiger.[(triple7)] The mouse does not visit the rabbit.[(triple10)] The mouse eats the tiger.[(triple8)] The mouse is red.[(triple9)] The rabbit does not eat the tiger.[(triple11)] The rabbit is rough.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger chases the rabbit.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cat eats the rabbit.[(((triple1) -> rule7))] The mouse eats the rabbit.[(((triple7) -> rule7))] @2: The rabbit chases the tiger.[(((((triple1) -> rule7)) -> rule3) OR ((((triple7) -> rule7)) -> rule3))] @3: The rabbit eats the rabbit.[(((((((triple1) -> rule7)) -> rule3)) -> rule7) OR ((((((triple7) -> rule7)) -> rule3)) -> rule7))]