The cat chases the mouse. The mouse chases the cat. The mouse needs the tiger. The rabbit is big. The rabbit visits the cat. The rabbit visits the tiger. The tiger chases the mouse. The tiger chases the rabbit. The tiger is blue. The tiger is kind. The tiger needs the cat. The tiger needs the rabbit. If something visits the cat then the cat is round. If something visits the mouse then it chases the cat. If something visits the mouse and it is blue then the mouse needs the rabbit.
The tiger visits the rabbit.
@0: The cat chases the mouse.[(triple1)] The mouse chases the cat.[(triple2)] The mouse needs the tiger.[(triple3)] The rabbit is big.[(triple4)] The rabbit visits the cat.[(triple5)] The rabbit visits the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger is blue.[(triple9)] The tiger is kind.[(triple10)] The tiger needs the cat.[(triple11)] The tiger needs the rabbit.[(triple12)] @1: The cat is round.[(((triple5) -> rule1))]