The mouse is not big. The mouse is kind. The mouse is rough. The mouse needs the tiger. The tiger does not chase the mouse. The tiger does not eat the mouse. The tiger is big. The tiger is green. The tiger is not kind. The tiger is not rough. The tiger is round. The tiger needs the mouse. If something chases the tiger then it is kind. If the tiger is big then the tiger does not chase the mouse. If something chases the tiger then it chases the mouse. If something eats the mouse and the mouse is green then it chases the mouse. If the mouse is kind and the mouse eats the tiger then the tiger is not kind. Round things are big. If something chases the tiger and the tiger needs the mouse then it needs the tiger. If something eats the tiger and it is kind then it is rough.
The mouse is kind.
@0: The mouse is kind.[(triple2)] The mouse is not big.[(triple1)] The mouse is rough.[(triple3)] The mouse needs the tiger.[(triple4)] The tiger does not chase the mouse.[(triple5 OR ((triple7) -> rule2) OR ((((triple11) -> rule6)) -> rule2))] The tiger does not eat the mouse.[(triple6)] The tiger is big.[(triple7 OR ((triple11) -> rule6))] The tiger is green.[(triple8)] The tiger is not kind.[(triple9)] The tiger is not rough.[(triple10)] The tiger is round.[(triple11)] The tiger needs the mouse.[(triple12)]