The cat eats the mouse. The cat does not eat the rabbit. The cat is not cold. The cat is green. The cat likes the mouse. The cat does not see the mouse. The cat sees the rabbit. The mouse eats the rabbit. The mouse is green. The mouse likes the rabbit. The mouse sees the cat. The rabbit eats the cat. The rabbit eats the mouse. The rabbit is big. The rabbit is green. The rabbit sees the cat. If something sees the rabbit then it is nice.
The cat likes the mouse.
@0: The cat does not eat the rabbit.[(triple2)] The cat does not see the mouse.[(triple6)] The cat eats the mouse.[(triple1)] The cat is green.[(triple4)] The cat is not cold.[(triple3)] The cat likes the mouse.[(triple5)] The cat sees the rabbit.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse is green.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse sees the cat.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit eats the mouse.[(triple13)] The rabbit is big.[(triple14)] The rabbit is green.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The cat is nice.[(((triple7) -> rule1))]