The cow is big. The cow is cold. The cow likes the mouse. The cow likes the tiger. The cow needs the rabbit. The mouse needs the cow. The rabbit is big. The rabbit is blue. The rabbit is rough. The rabbit needs the cow. The rabbit sees the tiger. The tiger likes the cow. The tiger needs the cow. The tiger needs the rabbit. The tiger sees the cow. If something sees the tiger then the tiger needs the rabbit. If the mouse sees the tiger and the mouse needs the tiger then the tiger likes the rabbit. If something likes the tiger then it sees the mouse. If something sees the rabbit and it likes the cow then the rabbit needs the mouse. If something is blue and it needs the mouse then the mouse is blue. If something sees the cow then it sees the tiger. If something likes the rabbit then it sees the mouse. If the mouse sees the cow and the mouse is big then the mouse is rough.
The rabbit is rough.
@0: The cow is big.[(triple1)] The cow is cold.[(triple2)] The cow likes the mouse.[(triple3)] The cow likes the tiger.[(triple4)] The cow needs the rabbit.[(triple5)] The mouse needs the cow.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is rough.[(triple9)] The rabbit needs the cow.[(triple10)] The rabbit sees the tiger.[(triple11)] The tiger likes the cow.[(triple12)] The tiger needs the cow.[(triple13)] The tiger needs the rabbit.[(triple14 OR ((triple11) -> rule1) OR ((((triple15) -> rule6)) -> rule1))] The tiger sees the cow.[(triple15)] @1: The cow sees the mouse.[(((triple4) -> rule3))] The tiger sees the tiger.[(((triple15) -> rule6))]