The bear eats the cow. The bear sees the tiger. The bear visits the tiger. The cow eats the bear. The cow is green. The cow sees the bear. The tiger eats the cow. If something sees the cow then the cow sees the bear. If the tiger does not eat the cow then the cow eats the tiger. If something is blue and it does not see the bear then it visits the tiger. If something sees the bear and the bear visits the cow then the cow visits the tiger. If something visits the tiger then it visits the cow. If something is young and it sees the cow then it visits the cow.
The cow visits the cow.
@0: The bear eats the cow.[(triple1)] The bear sees the tiger.[(triple2)] The bear visits the tiger.[(triple3)] The cow eats the bear.[(triple4)] The cow is green.[(triple5)] The cow sees the bear.[(triple6)] The tiger eats the cow.[(triple7)] @1: The bear visits the cow.[(((triple3) -> rule5))] @2: The cow visits the tiger.[(((triple6 ((triple3) -> rule5)) -> rule4))] @3: The cow visits the cow.[(((((triple6 ((triple3) -> rule5)) -> rule4)) -> rule5))]