The lion chases the mouse. The lion eats the mouse. The lion is kind. The lion visits the mouse. The mouse does not chase the lion. The mouse eats the lion. The mouse is big. The mouse is blue. The mouse is young. The mouse visits the lion. If someone chases the mouse and the mouse eats the lion then the mouse is big. If someone eats the lion and the lion is young then the lion is kind. If someone chases the mouse then they are not cold. If the mouse visits the lion and the lion does not visit the mouse then the lion chases the mouse. If someone eats the lion and they eat the mouse then the mouse is kind. If the mouse chases the lion then the lion is cold.
The mouse does not visit the lion.
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is kind.[(triple3)] The lion visits the mouse.[(triple4)] The mouse does not chase the lion.[(triple5)] The mouse eats the lion.[(triple6)] The mouse is big.[(triple7 OR ((triple1 triple6) -> rule1))] The mouse is blue.[(triple8)] The mouse is young.[(triple9)] The mouse visits the lion.[(triple10)] @1: The lion is not cold.[(((triple1) -> rule3))]