The lion chases the mouse. The lion eats the mouse. The lion is green. The lion is red. The lion is round. The lion visits the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is big. The mouse is green. The mouse is nice. The mouse is round. If someone eats the lion and they visit the lion then the lion chases the mouse. If someone eats the lion then they chase the lion. If someone chases the mouse and the mouse visits the lion then they are big.
The lion is nice.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is green.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5)] The lion visits the mouse.[(triple6)] The mouse chases the lion.[(triple7 OR ((triple8) -> rule2))] The mouse eats the lion.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is round.[(triple12)]