The bear is green. The bear likes the mouse. The bear sees the tiger. The mouse eats the tiger. The mouse is cold. The mouse sees the bear. The tiger eats the bear. The tiger eats the mouse. The tiger is big. The tiger is rough. The tiger is young. The tiger likes the bear. The tiger likes the mouse. The tiger sees the bear. The tiger sees the mouse. If something eats the tiger then the tiger likes the bear. If something eats the mouse then it likes the mouse. If the tiger eats the mouse then the tiger sees the bear. If the bear is green then the bear is young. If something sees the bear then the bear eats the tiger. If the mouse likes the tiger and the mouse likes the bear then the mouse eats the tiger. If something sees the tiger and the tiger eats the bear then the bear is young. If something is cold and it sees the tiger then it eats the mouse.
The tiger is not rough.
@0: The bear is green.[(triple1)] The bear likes the mouse.[(triple2)] The bear sees the tiger.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse is cold.[(triple5)] The mouse sees the bear.[(triple6)] The tiger eats the bear.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is big.[(triple9)] The tiger is rough.[(triple10)] The tiger is young.[(triple11)] The tiger likes the bear.[(triple12 OR ((triple4) -> rule1) OR ((((triple14) -> rule5)) -> rule1) OR ((((triple6) -> rule5)) -> rule1) OR ((((((triple8) -> rule3)) -> rule5)) -> rule1))] The tiger likes the mouse.[(triple13 OR ((triple8) -> rule2))] The tiger sees the bear.[(triple14 OR ((triple8) -> rule3))] The tiger sees the mouse.[(triple15)] @1: The bear eats the tiger.[(((triple14) -> rule5) OR ((triple6) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] The bear is young.[(((triple1) -> rule4) OR ((triple3 triple7) -> rule7))]