The mouse eats the tiger. The mouse is rough. The mouse is round. The mouse sees the tiger. The tiger eats the mouse. The tiger is kind. The tiger is red. The tiger is round. The tiger sees the mouse. The tiger visits the mouse. If someone visits the tiger then the tiger is not round. If someone eats the mouse and they are red then they are green. If someone is red and green then they do not eat the tiger.
The mouse is not green.
@0: The mouse eats the tiger.[(triple1)] The mouse is rough.[(triple2)] The mouse is round.[(triple3)] The mouse sees the tiger.[(triple4)] The tiger eats the mouse.[(triple5)] The tiger is kind.[(triple6)] The tiger is red.[(triple7)] The tiger is round.[(triple8)] The tiger sees the mouse.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The tiger is green.[(((triple5 triple7) -> rule2))] @2: The tiger does not eat the tiger.[(((triple7 ((triple5 triple7) -> rule2)) -> rule3))]