The bear is rough. The cow chases the mouse. The cow is nice. The cow is not rough. The cow sees the bear. The cow sees the mouse. The mouse chases the cow. The mouse chases the tiger. The mouse is not big. The mouse is cold. The mouse is rough. The mouse is young. The mouse sees the tiger. The tiger does not chase the bear. The tiger is not nice. The tiger likes the bear. If something likes the mouse then the mouse is big. If the bear is rough then the bear chases the mouse. If something chases the mouse then it is cold.
The cow sees the bear.
@0: The bear is rough.[(triple1)] The cow chases the mouse.[(triple2)] The cow is nice.[(triple3)] The cow is not rough.[(triple4)] The cow sees the bear.[(triple5)] The cow sees the mouse.[(triple6)] The mouse chases the cow.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse is cold.[(triple10)] The mouse is not big.[(triple9)] The mouse is rough.[(triple11)] The mouse is young.[(triple12)] The mouse sees the tiger.[(triple13)] The tiger does not chase the bear.[(triple14)] The tiger is not nice.[(triple15)] The tiger likes the bear.[(triple16)] @1: The bear chases the mouse.[(((triple1) -> rule2))] The cow is cold.[(((triple2) -> rule3))] @2: The bear is cold.[(((((triple1) -> rule2)) -> rule3))]