The bear chases the tiger. The bear is young. The bear sees the mouse. The mouse chases the bear. The mouse chases the tiger. The mouse is nice. The mouse likes the rabbit. The rabbit chases the bear. The rabbit chases the tiger. The rabbit likes the mouse. The rabbit likes the tiger. The rabbit sees the mouse. The tiger chases the bear. The tiger chases the rabbit. The tiger sees the rabbit. If someone likes the mouse then the mouse chases the bear. If someone likes the rabbit and they are nice then they are big. If someone sees the rabbit and the rabbit sees the bear then the rabbit likes the mouse. If the rabbit is nice and the rabbit is young then the rabbit sees the mouse. If someone is cold and they see the mouse then they like the rabbit. If someone is cold then they chase the bear. If someone is big then they see the bear. If someone sees the bear then the bear likes the tiger.
The mouse sees the bear.
@0: The bear chases the tiger.[(triple1)] The bear is young.[(triple2)] The bear sees the mouse.[(triple3)] The mouse chases the bear.[(triple4 OR ((triple10) -> rule1))] The mouse chases the tiger.[(triple5)] The mouse is nice.[(triple6)] The mouse likes the rabbit.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit chases the tiger.[(triple9)] The rabbit likes the mouse.[(triple10)] The rabbit likes the tiger.[(triple11)] The rabbit sees the mouse.[(triple12)] The tiger chases the bear.[(triple13)] The tiger chases the rabbit.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The mouse is big.[(((triple7 triple6) -> rule2))] @2: The mouse sees the bear.[(((((triple7 triple6) -> rule2)) -> rule7))] @3: The bear likes the tiger.[(((((((triple7 triple6) -> rule2)) -> rule7)) -> rule8))]