The mouse eats the squirrel. The mouse is nice. 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 tiger. The rabbit sees the mouse. The squirrel sees the rabbit. The squirrel sees the tiger. The tiger eats the mouse. The tiger eats the squirrel. The tiger is kind. The tiger sees the mouse. If the tiger is green and the tiger is red then the tiger is nice. If someone eats the rabbit and the rabbit needs the mouse then the mouse sees the tiger. If someone needs the rabbit and they are nice then they need the squirrel. If the squirrel eats the mouse and the squirrel needs the mouse then the squirrel is nice. If someone is nice then they eat the rabbit. If someone is cold then they need the squirrel. If someone sees the rabbit then they eat the rabbit. If someone sees the rabbit then they are nice.
The squirrel needs the tiger.
@0: The mouse eats the squirrel.[(triple1)] The mouse is nice.[(triple2 OR ((triple3) -> rule8))] 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 tiger.[(triple9)] The rabbit sees the mouse.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel sees the tiger.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger is kind.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The mouse eats the rabbit.[(((triple2) -> rule5) OR ((triple3) -> rule7) OR ((((triple3) -> rule8)) -> rule5))] The rabbit needs the squirrel.[(((triple7) -> rule6))] The squirrel eats the rabbit.[(((triple11) -> rule7) OR ((((triple11) -> rule8)) -> rule5))] The squirrel is nice.[(((triple11) -> rule8))]