The bear eats the rabbit. The rabbit is green. If something eats the rabbit then the rabbit sees the bear. If something sees the bear then it eats the bear. If something sees the bear then the bear is blue. If something needs the bear and the bear is not young then it sees the rabbit. If something is rough then it does not eat the rabbit. If the bear needs the rabbit and the rabbit sees the bear then the bear sees the rabbit. If the bear is blue then the bear sees the rabbit. If something sees the rabbit and it does not eat the bear then it does not need the rabbit.
The rabbit does not eat the bear.
@0: The bear eats the rabbit.[(triple1)] The rabbit is green.[(triple2)] @1: The rabbit sees the bear.[(((triple1) -> rule1))] @2: The bear is blue.[(((((triple1) -> rule1)) -> rule3))] The rabbit eats the bear.[(((((triple1) -> rule1)) -> rule2))] @3: The bear sees the rabbit.[(((((((triple1) -> rule1)) -> rule3)) -> rule7))]