The mouse eats the rabbit. The mouse is blue. The mouse is kind. The rabbit eats the tiger. The rabbit visits the mouse. The tiger eats the mouse. The tiger is cold. The tiger is not green. The tiger likes the rabbit. The tiger visits the rabbit. If someone likes the rabbit and the rabbit visits the tiger then the tiger is nice. If someone is kind and they like the rabbit then they do not eat the tiger. If the rabbit visits the mouse then the rabbit visits the tiger. If the tiger is green and the tiger is not cold then the tiger is blue. If someone likes the mouse and they are not green then the mouse is not kind. If someone is nice then they visit the mouse.
The tiger is not blue.
@0: The mouse eats the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The rabbit eats the tiger.[(triple4)] The rabbit visits the mouse.[(triple5)] The tiger eats the mouse.[(triple6)] The tiger is cold.[(triple7)] The tiger is not green.[(triple8)] The tiger likes the rabbit.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The rabbit visits the tiger.[(((triple5) -> rule3))] @2: The tiger is nice.[(((triple9 ((triple5) -> rule3)) -> rule1))] @3: The tiger visits the mouse.[(((((triple9 ((triple5) -> rule3)) -> rule1)) -> rule6))]