The cow is not big. The cow is blue. The cow is cold. The cow is not rough. The cow likes the tiger. The cow needs the tiger. The cow visits the tiger. The tiger is green. The tiger is rough. The tiger likes the cow. The tiger needs the cow. The tiger visits the cow. If something visits the tiger then it visits the cow. If something visits the tiger and it visits the cow then the tiger is not blue.
The cow is not green.
@0: The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is not big.[(triple1)] The cow is not rough.[(triple4)] The cow likes the tiger.[(triple5)] The cow needs the tiger.[(triple6)] The cow visits the tiger.[(triple7)] The tiger is green.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the cow.[(triple10)] The tiger needs the cow.[(triple11)] The tiger visits the cow.[(triple12)] @1: The cow visits the cow.[(((triple7) -> rule1))] @2: The tiger is not blue.[(((triple7 ((triple7) -> rule1)) -> rule2))]