The bear chases the mouse. The bear is green. The cow is cold. The mouse chases the rabbit. The mouse likes the bear. The mouse likes the cow. The rabbit chases the cow. If someone is nice then they eat the mouse. If someone is big then they chase the rabbit. If someone chases the cow and they like the rabbit then the cow is cold. If someone chases the cow and the cow is cold then the cow eats the rabbit. If someone eats the rabbit then they are nice. If someone chases the cow then they are green.
The bear is round.
@0: The bear chases the mouse.[(triple1)] The bear is green.[(triple2)] The cow is cold.[(triple3)] The mouse chases the rabbit.[(triple4)] The mouse likes the bear.[(triple5)] The mouse likes the cow.[(triple6)] The rabbit chases the cow.[(triple7)] @1: The cow eats the rabbit.[(((triple7 triple3) -> rule4))] The rabbit is green.[(((triple7) -> rule6))] @2: The cow is nice.[(((((triple7 triple3) -> rule4)) -> rule5))] @3: The cow eats the mouse.[(((((((triple7 triple3) -> rule4)) -> rule5)) -> rule1))]