The lion eats the mouse. The lion eats the tiger. The lion likes the mouse. The mouse eats the lion. The mouse eats the rabbit. The mouse eats the tiger. The mouse is cold. The mouse is green. The mouse likes the rabbit. The rabbit chases the mouse. The rabbit eats the lion. The rabbit eats the mouse. The rabbit is rough. The tiger eats the mouse. The tiger is round. If someone likes the lion then the lion is nice. If the mouse chases the rabbit and the rabbit eats the lion then the mouse is round. If the rabbit is rough and the rabbit eats the tiger then the rabbit chases the tiger. If someone eats the mouse then they chase the rabbit. If someone chases the tiger and the tiger likes the mouse then the mouse eats the rabbit. If someone chases the rabbit and they are rough then they eat the tiger.
The tiger does not like the mouse.
@0: The lion eats the mouse.[(triple1)] The lion eats the tiger.[(triple2)] The lion likes the mouse.[(triple3)] The mouse eats the lion.[(triple4)] The mouse eats the rabbit.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse likes the rabbit.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit eats the lion.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is rough.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger is round.[(triple15)] @1: The lion chases the rabbit.[(((triple1) -> rule4))] The rabbit chases the rabbit.[(((triple12) -> rule4))] The tiger chases the rabbit.[(((triple14) -> rule4))] @2: The rabbit eats the tiger.[(((((triple12) -> rule4) triple13) -> rule6))] @3: The rabbit chases the tiger.[(((triple13 ((((triple12) -> rule4) triple13) -> rule6)) -> rule3))]