The mouse eats the rabbit. The mouse eats the tiger. The mouse is red. The mouse needs the rabbit. The mouse needs the tiger. The mouse does not visit the rabbit. The mouse does not visit the tiger. The rabbit does not eat the mouse. The rabbit is blue. The rabbit is kind. The rabbit needs the tiger. The rabbit visits the mouse. The rabbit visits the tiger. The tiger eats the rabbit. The tiger needs the rabbit. The tiger does not visit the mouse. If the rabbit visits the tiger and the tiger is nice then the rabbit is round. If the tiger is nice and the tiger needs the rabbit then the rabbit is round. If the tiger eats the mouse then the mouse needs the rabbit. If something visits the rabbit then it needs the rabbit. If something is red and it visits the rabbit then the rabbit visits the mouse. Blue things are red. If something needs the tiger then the tiger needs the mouse. If something visits the tiger then the tiger needs the mouse.
The tiger is not red.
@0: The mouse does not visit the rabbit.[(triple6)] The mouse does not visit the tiger.[(triple7)] The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is red.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse needs the tiger.[(triple5)] The rabbit does not eat the mouse.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is kind.[(triple10)] The rabbit needs the tiger.[(triple11)] The rabbit visits the mouse.[(triple12)] The rabbit visits the tiger.[(triple13)] The tiger does not visit the mouse.[(triple16)] The tiger eats the rabbit.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The rabbit is red.[(((triple9) -> rule6))] The tiger needs the mouse.[(((triple11) -> rule7) OR ((triple13) -> rule8) OR ((triple5) -> rule7))]