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