The mouse eats the tiger. The mouse is kind. The mouse sees the rabbit. The mouse sees the tiger. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit is cold. The rabbit is red. The rabbit needs the mouse. The rabbit needs the tiger. The rabbit sees the mouse. The rabbit sees the tiger. The tiger is cold. The tiger is round. The tiger sees the mouse. If the rabbit needs the mouse then the rabbit is kind. If someone is nice then they eat the mouse. If someone needs the rabbit and they eat the tiger then the rabbit needs the mouse.
The mouse is round.
@0: The mouse eats the tiger.[(triple1)] The mouse is kind.[(triple2)] The mouse sees the rabbit.[(triple3)] The mouse sees the tiger.[(triple4)] The rabbit eats the mouse.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is red.[(triple8)] The rabbit needs the mouse.[(triple9)] The rabbit needs the tiger.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit sees the tiger.[(triple12)] The tiger is cold.[(triple13)] The tiger is round.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The rabbit is kind.[(((triple9) -> rule1))]