The bear eats the rabbit. The bear is big. The bear is kind. The cow sees the rabbit. The dog is kind. The dog sees the bear. The rabbit sees the cow. If someone sees the cow then the cow sees the bear. If someone sees the bear then they eat the dog.
The bear eats the cow.
@0: The bear eats the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The cow sees the rabbit.[(triple4)] The dog is kind.[(triple5)] The dog sees the bear.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The cow sees the bear.[(((triple7) -> rule1))] The dog eats the dog.[(((triple6) -> rule2))] @2: The cow eats the dog.[(((((triple7) -> rule1)) -> rule2))]