The bear chases the cow. The bear eats the cow. The bear eats the mouse. The bear is cold. The bear is green. The bear sees the cow. The bear sees the mouse. The cow chases the bear. The cow eats the bear. The cow sees the bear. The mouse chases the bear. The mouse chases the cow. The mouse eats the bear. The mouse is cold. The mouse sees the bear. If someone is green then they are kind. If someone eats the bear then they are green.
The mouse is not big.
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear eats the mouse.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear sees the cow.[(triple6)] The bear sees the mouse.[(triple7)] The cow chases the bear.[(triple8)] The cow eats the bear.[(triple9)] The cow sees the bear.[(triple10)] The mouse chases the bear.[(triple11)] The mouse chases the cow.[(triple12)] The mouse eats the bear.[(triple13)] The mouse is cold.[(triple14)] The mouse sees the bear.[(triple15)] @1: The bear is kind.[(((triple5) -> rule1))] The cow is green.[(((triple9) -> rule2))] The mouse is green.[(((triple13) -> rule2))] @2: The cow is kind.[(((((triple9) -> rule2)) -> rule1))] The mouse is kind.[(((((triple13) -> rule2)) -> rule1))]