The cow is nice. The mouse is kind. The mouse needs the cow. The mouse sees the tiger. The rabbit is blue. The rabbit likes the mouse. The rabbit likes the tiger. The rabbit needs the tiger. The tiger is kind. The tiger likes the cow. The tiger likes the rabbit. The tiger sees the rabbit. If someone is blue then they like the rabbit. If someone likes the cow and they need the cow then the cow is nice. If someone needs the mouse and the mouse sees the cow then they need the cow.
The mouse does not like the rabbit.
@0: The cow is nice.[(triple1)] The mouse is kind.[(triple2)] The mouse needs the cow.[(triple3)] The mouse sees the tiger.[(triple4)] The rabbit is blue.[(triple5)] The rabbit likes the mouse.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger is kind.[(triple9)] The tiger likes the cow.[(triple10)] The tiger likes the rabbit.[(triple11)] The tiger sees the rabbit.[(triple12)] @1: The rabbit likes the rabbit.[(((triple5) -> rule1))]