The cow is blue. The cow is rough. The cow is round. The cow needs the mouse. The cow visits the rabbit. The mouse is cold. The mouse sees the cow. The mouse does not visit the rabbit. The rabbit is cold. The rabbit needs the cow. The rabbit sees the tiger. The tiger is not rough. If someone sees the rabbit then they are not rough. If someone needs the cow then the cow needs the tiger. If someone is rough and they see the tiger then the tiger does not see the cow.
The rabbit is not cold.
@0: The cow is blue.[(triple1)] The cow is rough.[(triple2)] The cow is round.[(triple3)] The cow needs the mouse.[(triple4)] The cow visits the rabbit.[(triple5)] The mouse does not visit the rabbit.[(triple8)] The mouse is cold.[(triple6)] The mouse sees the cow.[(triple7)] The rabbit is cold.[(triple9)] The rabbit needs the cow.[(triple10)] The rabbit sees the tiger.[(triple11)] The tiger is not rough.[(triple12)] @1: The cow needs the tiger.[(((triple10) -> rule2))]