The mouse chases the tiger. The mouse eats the tiger. The mouse is kind. The mouse does not visit the rabbit. The mouse visits the tiger. The rabbit chases the tiger. The rabbit eats the mouse. The rabbit does not eat the tiger. The rabbit is rough. The rabbit does not visit the mouse. The rabbit does not visit the tiger. The tiger does not chase the mouse. The tiger does not chase the rabbit. The tiger is kind. The tiger visits the mouse. The tiger visits the rabbit. If something visits the tiger then the tiger visits the mouse. If the tiger is nice and the tiger does not chase the mouse then the tiger visits the mouse. If something is round and it does not eat the mouse then the mouse visits the rabbit. If something is rough then it chases the rabbit. If something visits the mouse and it chases the tiger then the mouse is round. If something eats the tiger and it eats the rabbit then the rabbit does not visit the tiger. If something eats the rabbit then it is round. If something visits the mouse and it does not chase the mouse then it eats the rabbit.
The mouse is nice.
@0: The mouse chases the tiger.[(triple1)] The mouse does not visit the rabbit.[(triple4)] The mouse eats the tiger.[(triple2)] The mouse is kind.[(triple3)] The mouse visits the tiger.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit does not eat the tiger.[(triple8)] The rabbit does not visit the mouse.[(triple10)] The rabbit does not visit the tiger.[(triple11)] The rabbit eats the mouse.[(triple7)] The rabbit is rough.[(triple9)] The tiger does not chase the mouse.[(triple12)] The tiger does not chase the rabbit.[(triple13)] The tiger is kind.[(triple14)] The tiger visits the mouse.[(triple15 OR ((triple5) -> rule1))] The tiger visits the rabbit.[(triple16)] @1: The rabbit chases the rabbit.[(((triple9) -> rule4))] The tiger eats the rabbit.[(((triple15 triple12) -> rule8) OR ((((triple5) -> rule1) triple12) -> rule8))] @2: The tiger is round.[(((((triple15 triple12) -> rule8)) -> rule7) OR ((((((triple5) -> rule1) triple12) -> rule8)) -> rule7))]