The bear eats the rabbit. The mouse eats the tiger. The mouse is cold. The mouse is kind. The mouse visits the bear. The mouse visits the rabbit. The mouse visits the tiger. The rabbit chases the tiger. The tiger chases the rabbit. The tiger eats the mouse. The tiger is kind. The tiger is red. If someone chases the bear and the bear eats the tiger then the tiger eats the rabbit. If someone chases the rabbit then they visit the bear. If someone visits the mouse and they eat the tiger then the tiger visits the mouse. If someone visits the bear then they are young. If the rabbit visits the tiger and the rabbit eats the mouse then the rabbit visits the mouse. If someone chases the rabbit and they are young then they visit the mouse. If the rabbit is kind and the rabbit chases the tiger then the tiger eats the bear. If someone is young and they visit the rabbit then they are kind.
The tiger is not red.
@0: The bear eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is cold.[(triple3)] The mouse is kind.[(triple4 OR ((((triple5) -> rule4) triple6) -> rule8))] The mouse visits the bear.[(triple5)] The mouse visits the rabbit.[(triple6)] The mouse visits the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] @1: The mouse is young.[(((triple5) -> rule4))] The tiger visits the bear.[(((triple9) -> rule2))] @2: The tiger is young.[(((((triple9) -> rule2)) -> rule4))] @3: The tiger visits the mouse.[(((triple9 ((((triple9) -> rule2)) -> rule4)) -> rule6))]