The bear is round. The cat does not eat the bear. The mouse sees the cat. If someone chases the bear and the bear sees the cat then they chase the mouse. If someone eats the mouse then they do not chase the bear. If someone sees the cat then they see the bear. If someone chases the cat then they are not cold. If someone sees the bear and they do not eat the mouse then the bear is not nice. If the cat chases the bear then the bear is nice. If someone sees the cat then they eat the cat. If someone sees the mouse then the mouse sees the bear.
The cat eats the bear.
@0: The bear is round.[(triple1)] The cat does not eat the bear.[(triple2)] The mouse sees the cat.[(triple3)] @1: The mouse eats the cat.[(((triple3) -> rule7))] The mouse sees the bear.[(((triple3) -> rule3))]