The bear eats the cow. The cow is red. The rabbit is big. If someone is big then they see the cow. If the rabbit eats the bear then the bear is young. If someone eats the cow and they are big then the cow is round.
The bear does not eat the cow.
@0: The bear eats the cow.[(triple1)] The cow is red.[(triple2)] The rabbit is big.[(triple3)] @1: The rabbit sees the cow.[(((triple3) -> rule1))]