The cat is nice. The cow is big. The cow likes the mouse. The cow likes the rabbit. The cow visits the rabbit. The mouse is rough. The mouse likes the cow. The rabbit is nice. The rabbit sees the mouse. The rabbit visits the mouse. If something likes the rabbit and the rabbit visits the cow then the cow is big. If something visits the cow and it sees the cow then the cow visits the rabbit. If the cow likes the rabbit then the cow is cold. If something sees the cow and it is green then the cow sees the mouse. If something sees the rabbit then the rabbit sees the cat. If something sees the cat then it visits the rabbit. If something likes the cow and it is nice then it sees the mouse. If something likes the rabbit then it likes the cat.
The rabbit does not like the cat.
@0: The cat is nice.[(triple1)] The cow is big.[(triple2)] The cow likes the mouse.[(triple3)] The cow likes the rabbit.[(triple4)] The cow visits the rabbit.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the cow.[(triple7)] The rabbit is nice.[(triple8)] The rabbit sees the mouse.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The cow is cold.[(((triple4) -> rule3))] The cow likes the cat.[(((triple4) -> rule8))]