The cat eats the mouse. The cat is kind. The cat does not need the rabbit. The cat visits the rabbit. The cat does not visit the tiger. The mouse is green. The mouse is rough. The mouse needs the cat. The mouse visits the tiger. The rabbit is green. The rabbit is kind. The tiger is green. The tiger is kind. The tiger needs the mouse. The tiger visits the rabbit. If someone needs the rabbit then they eat the mouse. If the mouse eats the tiger and the mouse is green then the tiger eats the rabbit. If someone is round then they need the rabbit. If the mouse needs the rabbit and the mouse is not green then the rabbit needs the cat. If someone eats the tiger then the tiger is green. If someone visits the mouse then they need the tiger. If someone is rough then they are round. If someone eats the cat and the cat is not kind then they visit the tiger.
The rabbit is not kind.
@0: The cat does not need the rabbit.[(triple3)] The cat does not visit the tiger.[(triple5)] The cat eats the mouse.[(triple1)] The cat is kind.[(triple2)] The cat visits the rabbit.[(triple4)] The mouse is green.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the cat.[(triple8)] The mouse visits the tiger.[(triple9)] The rabbit is green.[(triple10)] The rabbit is kind.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The mouse is round.[(((triple7) -> rule7))] @2: The mouse needs the rabbit.[(((((triple7) -> rule7)) -> rule3))] @3: The mouse eats the mouse.[(((((((triple7) -> rule7)) -> rule3)) -> rule1))]