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