The lion eats the rabbit. The lion does not see the rabbit. The mouse eats the lion. The mouse eats the rabbit. The mouse is nice. The mouse is rough. The rabbit chases the mouse. The rabbit is big. The rabbit is not kind. The rabbit is round. If the mouse is nice and the mouse chases the rabbit then the rabbit sees the mouse. If someone is nice then they see the mouse. If someone is kind then they eat the mouse.
The lion does not see the rabbit.
@0: The lion does not see the rabbit.[(triple2)] The lion eats the rabbit.[(triple1)] The mouse eats the lion.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse is nice.[(triple5)] The mouse is rough.[(triple6)] The rabbit chases the mouse.[(triple7)] The rabbit is big.[(triple8)] The rabbit is not kind.[(triple9)] The rabbit is round.[(triple10)] @1: The mouse sees the mouse.[(((triple5) -> rule2))]