The bear eats the mouse. The cat is nice. The mouse sees the bear. The tiger does not see the cat. If something eats the mouse then the mouse does not see the tiger. If something needs the mouse and it does not see the bear then the bear is not kind. If something is nice and it needs the tiger then the tiger eats the cat. Nice things are round. If the cat is round then the cat needs the tiger. If the tiger needs the mouse then the mouse sees the cat.
The cat does not need the tiger.
@0: The bear eats the mouse.[(triple1)] The cat is nice.[(triple2)] The mouse sees the bear.[(triple3)] The tiger does not see the cat.[(triple4)] @1: The cat is round.[(((triple2) -> rule4))] The mouse does not see the tiger.[(((triple1) -> rule1))] @2: The cat needs the tiger.[(((((triple2) -> rule4)) -> rule5))] @3: The tiger eats the cat.[(((triple2 ((((triple2) -> rule4)) -> rule5)) -> rule3))]