The bear sees the dog. The dog is kind. The mouse chases the dog. The mouse eats the bear. The mouse eats the dog. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is round. The mouse sees the dog. If someone is round then they see the bear. If the mouse sees the bear then the bear eats the mouse.
The mouse sees the bear.
@0: The bear sees the dog.[(triple1)] The dog is kind.[(triple2)] The mouse chases the dog.[(triple3)] The mouse eats the bear.[(triple4)] The mouse eats the dog.[(triple5)] The mouse is cold.[(triple6)] The mouse is kind.[(triple7)] The mouse is rough.[(triple8)] The mouse is round.[(triple9)] The mouse sees the dog.[(triple10)] @1: The mouse sees the bear.[(((triple9) -> rule1))] @2: The bear eats the mouse.[(((((triple9) -> rule1)) -> rule2))]