The bear is green. The bear is kind. The bear is round. The cow visits the mouse. The mouse chases the bear. The mouse chases the cow. The mouse visits the bear. If someone sees the cow then the cow sees the mouse. If someone chases the mouse then they see the cow. If someone chases the bear and the bear is nice then the bear is kind. If the cow visits the bear then the cow sees the bear. If someone is kind then they see the cow. If someone is rough and they visit the bear then the bear is green. If someone chases the cow then the cow is rough. If someone sees the cow and the cow chases the bear then the bear visits the cow.
The mouse sees the bear.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The cow visits the mouse.[(triple4)] The mouse chases the bear.[(triple5)] The mouse chases the cow.[(triple6)] The mouse visits the bear.[(triple7)] @1: The bear sees the cow.[(((triple2) -> rule5))] The cow is rough.[(((triple6) -> rule7))] @2: The cow sees the mouse.[(((((triple2) -> rule5)) -> rule1))]