The mouse eats the rabbit. The mouse is cold. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit is big. The rabbit is red. The rabbit is rough. The rabbit likes the mouse. The rabbit sees the mouse. If someone eats the rabbit then the rabbit sees the mouse. If someone eats the rabbit then the rabbit likes the mouse. If someone eats the rabbit then they see the mouse.
The mouse does not eat the mouse.
@0: The mouse eats the rabbit.[(triple1)] The mouse is cold.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse sees the rabbit.[(triple4)] The rabbit eats the mouse.[(triple5)] The rabbit is big.[(triple6)] The rabbit is red.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the mouse.[(triple9 OR ((triple1) -> rule2))] The rabbit sees the mouse.[(triple10 OR ((triple1) -> rule1))] @1: The mouse sees the mouse.[(((triple1) -> rule3))]