The lion chases the mouse. The lion eats the mouse. The lion is big. The lion is cold. The lion is green. The lion is nice. The lion likes the mouse. The mouse eats the lion. The mouse is green. The mouse likes the lion. If something is green then it chases the lion.
The mouse eats the lion.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is big.[(triple3)] The lion is cold.[(triple4)] The lion is green.[(triple5)] The lion is nice.[(triple6)] The lion likes the mouse.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is green.[(triple9)] The mouse likes the lion.[(triple10)] @1: The lion chases the lion.[(((triple5) -> rule1))] The mouse chases the lion.[(((triple9) -> rule1))]