The bear eats the cat. The bear is big. The bear is green. The cat sees the bear. The cat sees the mouse. The mouse chases the bear. The mouse chases the cat. The mouse eats the bear. The mouse eats the tiger. The mouse sees the cat. The tiger chases the bear. The tiger chases the cat. The tiger eats the mouse. The tiger is green. The tiger is young. If something eats the mouse and it sees the cat then the cat is blue. If something sees the tiger then the tiger sees the bear. If something eats the tiger and the tiger is round then it is big. If something is big and it eats the cat then it sees the tiger. If something sees the cat then it is big. If something eats the tiger and it sees the bear then the bear eats the cat.
The mouse is not big.
@0: The bear eats the cat.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The cat sees the bear.[(triple4)] The cat sees the mouse.[(triple5)] The mouse chases the bear.[(triple6)] The mouse chases the cat.[(triple7)] The mouse eats the bear.[(triple8)] The mouse eats the tiger.[(triple9)] The mouse sees the cat.[(triple10)] The tiger chases the bear.[(triple11)] The tiger chases the cat.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is green.[(triple14)] The tiger is young.[(triple15)] @1: The bear sees the tiger.[(((triple2 triple1) -> rule4))] The mouse is big.[(((triple10) -> rule5))] @2: The tiger sees the bear.[(((((triple2 triple1) -> rule4)) -> rule2))]