The bear sees the dog. The dog is big. The rabbit is green. The squirrel eats the rabbit. If someone is green then they like the squirrel. If someone eats the squirrel then the squirrel eats the dog.
The rabbit is green.
@0: The bear sees the dog.[(triple1)] The dog is big.[(triple2)] The rabbit is green.[(triple3)] The squirrel eats the rabbit.[(triple4)] @1: The rabbit likes the squirrel.[(((triple3) -> rule1))]