The mouse chases the tiger. The mouse eats the tiger. The mouse is nice. The mouse is round. The mouse likes the tiger. The tiger is kind. The tiger likes the mouse. If someone is nice and they do not chase the tiger then the tiger is not kind. If someone chases the tiger then the tiger is green. If the mouse likes the tiger then the mouse is kind. If the tiger is rough then the tiger chases the mouse. If someone is rough then they like the mouse. Kind people are rough. If someone likes the mouse and they are not green then they are kind. If someone eats the tiger then they are kind.
The mouse does not chase the mouse.
@0: The mouse chases the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is nice.[(triple3)] The mouse is round.[(triple4)] The mouse likes the tiger.[(triple5)] The tiger is kind.[(triple6)] The tiger likes the mouse.[(triple7 OR ((((triple6) -> rule6)) -> rule5))] @1: The mouse is kind.[(((triple2) -> rule8) OR ((triple5) -> rule3))] The tiger is green.[(((triple1) -> rule2))] The tiger is rough.[(((triple6) -> rule6))] @2: The mouse is rough.[(((((triple2) -> rule8)) -> rule6) OR ((((triple5) -> rule3)) -> rule6))] The tiger chases the mouse.[(((((triple6) -> rule6)) -> rule4))] @3: The mouse likes the mouse.[(((((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple5) -> rule3)) -> rule6)) -> rule5))]