The mouse eats the rabbit. The mouse eats the tiger. The mouse is green. The mouse visits the rabbit. The mouse visits the tiger. The rabbit eats the tiger. The tiger eats the rabbit. The tiger is nice. The tiger is red. The tiger visits the rabbit. If someone visits the tiger and they are red then the tiger is green. If the tiger needs the mouse then the mouse does not eat the tiger. If the tiger needs the mouse then the mouse visits the tiger. If the tiger eats the rabbit and the tiger is not round then the rabbit eats the tiger. If someone is green then they visit the mouse. If someone is green then they are red. If someone needs the tiger and the tiger visits the rabbit then the rabbit visits the mouse. If someone needs the rabbit and they need the tiger then the rabbit needs the tiger.
The rabbit is not red.
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is green.[(triple3)] The mouse visits the rabbit.[(triple4)] The mouse visits the tiger.[(triple5)] The rabbit eats the tiger.[(triple6)] The tiger eats the rabbit.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9 OR ((((triple5 ((triple3) -> rule6)) -> rule1)) -> rule6))] The tiger visits the rabbit.[(triple10)] @1: The mouse is red.[(((triple3) -> rule6))] The mouse visits the mouse.[(((triple3) -> rule5))] @2: The tiger is green.[(((triple5 ((triple3) -> rule6)) -> rule1))] @3: The tiger visits the mouse.[(((((triple5 ((triple3) -> rule6)) -> rule1)) -> rule5))]