The bear visits the tiger. The cow visits the tiger. The rabbit sees the cow. The tiger visits the rabbit. If the cow sees the tiger then the tiger is nice. If something sees the cow and the cow sees the tiger then the tiger sees the bear. If something sees the cow and the cow visits the tiger then it sees the tiger. If something is cold and it visits the cow then it visits the rabbit. If something is green then it sees the cow. If the tiger sees the bear and the bear visits the tiger then the tiger likes the cow. If something sees the bear then the bear visits the rabbit. If something sees the bear then the bear is green.
The rabbit sees the cow.
@0: The bear visits the tiger.[(triple1)] The cow visits the tiger.[(triple2)] The rabbit sees the cow.[(triple3)] The tiger visits the rabbit.[(triple4)] @1: The rabbit sees the tiger.[(((triple3 triple2) -> rule3))]