The mouse eats the rabbit. The mouse eats the tiger. The mouse is young. The mouse needs the rabbit. The mouse needs the tiger. The mouse sees the tiger. The rabbit eats the tiger. The rabbit is round. The rabbit is young. The rabbit needs the mouse. The tiger eats the rabbit. The tiger is rough. The tiger is round. The tiger is young. The tiger sees the rabbit. If something needs the rabbit and the rabbit eats the mouse then it eats the mouse. If the rabbit is nice and the rabbit is rough then the rabbit needs the mouse. If something is kind and it eats the mouse then the mouse is round. If something needs the tiger and it needs the rabbit then it is rough. If something needs the mouse and the mouse sees the tiger then the mouse is kind. If something eats the tiger and it is round then the tiger is young.
The mouse is not round.
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is young.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse sees the tiger.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is round.[(triple8)] The rabbit is young.[(triple9)] The rabbit needs the mouse.[(triple10)] The tiger eats the rabbit.[(triple11)] The tiger is rough.[(triple12)] The tiger is round.[(triple13)] The tiger is young.[(triple14 OR ((triple7 triple8) -> rule6))] The tiger sees the rabbit.[(triple15)] @1: The mouse is kind.[(((triple10 triple6) -> rule5))] The mouse is rough.[(((triple5 triple4) -> rule4))]