The bear sees the mouse. The cat eats the bear. The dog needs the bear. The mouse sees the cat. If someone eats the dog and the dog is round then they eat the cat. If someone sees the mouse then they are young. If someone needs the dog and they eat the mouse then they are red. If someone needs the dog then the dog needs the cat. If someone eats the mouse then they need the cat. If someone is round and they need the bear then they eat the mouse. If someone sees the dog then they need the mouse. If someone is young then they see the dog.
The mouse does not see the cat.
@0: The bear sees the mouse.[(triple1)] The cat eats the bear.[(triple2)] The dog needs the bear.[(triple3)] The mouse sees the cat.[(triple4)] @1: The bear is young.[(((triple1) -> rule2))] @2: The bear sees the dog.[(((((triple1) -> rule2)) -> rule8))] @3: The bear needs the mouse.[(((((((triple1) -> rule2)) -> rule8)) -> rule7))]