The bear is green. The cow is green. The cow likes the bear. The cow likes the tiger. The cow needs the tiger. The tiger is green. The tiger likes the cow. If something visits the bear and it needs the cow then the cow needs the bear. If something visits the cow then it needs the cow. If the bear needs the cow and the bear likes the cow then the cow needs the bear. If something is green then it visits the cow. If something likes the bear then the bear likes the cow. If something visits the tiger and the tiger visits the cow then the tiger is nice. If something likes the bear and it is blue then it visits the cow. If the cow needs the tiger and the cow visits the tiger then the tiger visits the bear.
The cow visits the bear.
@0: The bear is green.[(triple1)] The cow is green.[(triple2)] The cow likes the bear.[(triple3)] The cow likes the tiger.[(triple4)] The cow needs the tiger.[(triple5)] The tiger is green.[(triple6)] The tiger likes the cow.[(triple7)] @1: The bear likes the cow.[(((triple3) -> rule5))] The bear visits the cow.[(((triple1) -> rule4))] The cow visits the cow.[(((triple2) -> rule4))] The tiger visits the cow.[(((triple6) -> rule4))] @2: The bear needs the cow.[(((((triple1) -> rule4)) -> rule2))] The cow needs the cow.[(((((triple2) -> rule4)) -> rule2))] The tiger needs the cow.[(((((triple6) -> rule4)) -> rule2))] @3: The cow needs the bear.[(((((((triple1) -> rule4)) -> rule2) ((triple3) -> rule5)) -> rule3))]