The bear chases the mouse. The bear does not like the cow. The bear likes the tiger. The cow likes the tiger. The mouse chases the bear. The mouse does not chase the tiger. The mouse is red. The mouse likes the tiger. The mouse sees the tiger. The tiger is blue. If someone is red then they do not chase the tiger. If someone likes the tiger then they are kind.
The mouse does not chase the tiger.
@0: The bear chases the mouse.[(triple1)] The bear does not like the cow.[(triple2)] The bear likes the tiger.[(triple3)] The cow likes the tiger.[(triple4)] The mouse chases the bear.[(triple5)] The mouse does not chase the tiger.[(triple6 OR ((triple7) -> rule1))] The mouse is red.[(triple7)] The mouse likes the tiger.[(triple8)] The mouse sees the tiger.[(triple9)] The tiger is blue.[(triple10)] @1: The bear is kind.[(((triple3) -> rule2))] The cow is kind.[(((triple4) -> rule2))] The mouse is kind.[(((triple8) -> rule2))]