The lion chases the mouse. The lion eats the mouse. The lion is blue. The lion is green. The lion is rough. The lion is round. The lion likes the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is blue. The mouse is not green. The mouse likes the lion. If something chases the lion then it is blue.
The mouse does not eat the lion.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion likes the mouse.[(triple7)] The mouse chases the lion.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is blue.[(triple10 OR ((triple8) -> rule1))] The mouse is not green.[(triple11)] The mouse likes the lion.[(triple12)]