The mouse chases the rabbit. The mouse is green. The mouse likes the tiger. The rabbit does not chase the mouse. The rabbit chases the tiger. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit is rough. The tiger chases the mouse. The tiger chases the rabbit. If someone chases the mouse and they chase the rabbit then the rabbit is not round. If someone chases the mouse and they are rough then the mouse chases the rabbit. If the rabbit likes the mouse then the rabbit likes the tiger. If someone likes the mouse then the mouse is round. If someone chases the tiger then the tiger likes the rabbit. If someone likes the rabbit then they like the tiger. If someone chases the mouse and they eat the tiger then they are not rough. If someone eats the mouse and they are not round then the mouse does not eat the rabbit.
The rabbit likes the tiger.
@0: The mouse chases the rabbit.[(triple1)] The mouse is green.[(triple2)] The mouse likes the tiger.[(triple3)] The rabbit chases the tiger.[(triple5)] The rabbit does not chase the mouse.[(triple4)] The rabbit eats the mouse.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is rough.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger chases the rabbit.[(triple10)] @1: The rabbit is not round.[(((triple9 triple10) -> rule1))] The tiger likes the rabbit.[(((triple5) -> rule5))] @2: The mouse does not eat the rabbit.[(((triple6 ((triple9 triple10) -> rule1)) -> rule8))] The tiger likes the tiger.[(((((triple5) -> rule5)) -> rule6))]