The cat is red. The mouse eats the rabbit. The mouse needs the rabbit. The mouse sees the rabbit. The mouse sees the tiger. The rabbit needs the mouse. The rabbit does not need the tiger. The tiger does not eat the cat. The tiger is rough. The tiger needs the cat. The tiger sees the mouse. The tiger sees the rabbit. All blue things are nice. If something sees the mouse then the mouse eats the cat.
The cat eats the tiger.
@0: The cat is red.[(triple1)] The mouse eats the rabbit.[(triple2)] The mouse needs the rabbit.[(triple3)] The mouse sees the rabbit.[(triple4)] The mouse sees the tiger.[(triple5)] The rabbit does not need the tiger.[(triple7)] The rabbit needs the mouse.[(triple6)] The tiger does not eat the cat.[(triple8)] The tiger is rough.[(triple9)] The tiger needs the cat.[(triple10)] The tiger sees the mouse.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The mouse eats the cat.[(((triple11) -> rule2))]