The mouse is nice. The mouse needs the tiger. The rabbit is round. The rabbit sees the mouse. The squirrel does not eat the tiger. The tiger eats the squirrel. The tiger is nice. The tiger is not rough. The tiger sees the mouse. The tiger sees the rabbit. If someone needs the squirrel and the squirrel sees the rabbit then the squirrel is round. If someone sees the rabbit then they are round. If the squirrel eats the tiger then the tiger is red. If someone sees the rabbit and they are round then the rabbit eats the mouse. If someone needs the rabbit then they are green. If someone needs the tiger and the tiger needs the rabbit then they see the tiger. If someone eats the mouse then they are nice. If someone eats the tiger then the tiger eats the squirrel.
The rabbit does not see the tiger.
@0: The mouse is nice.[(triple1)] The mouse needs the tiger.[(triple2)] The rabbit is round.[(triple3)] The rabbit sees the mouse.[(triple4)] The squirrel does not eat the tiger.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger is nice.[(triple7)] The tiger is not rough.[(triple8)] The tiger sees the mouse.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The tiger is round.[(((triple10) -> rule2))] @2: The rabbit eats the mouse.[(((triple10 ((triple10) -> rule2)) -> rule4))] @3: The rabbit is nice.[(((((triple10 ((triple10) -> rule2)) -> rule4)) -> rule7))]