The bear is not blue. The cat eats the bear. The cow eats the cat. The mouse is nice. If someone is young then they are nice. If someone eats the bear then the bear chases the cow.
The cow is not nice.
@0: The bear is not blue.[(triple1)] The cat eats the bear.[(triple2)] The cow eats the cat.[(triple3)] The mouse is nice.[(triple4)] @1: The bear chases the cow.[(((triple2) -> rule2))]