The bear visits the cow. The cow likes the bear. The tiger likes the bear. If something is big and it visits the cow then it is red. If something visits the tiger and the tiger eats the bear then the tiger likes the bear. If something likes the bear then it eats the cow. If something likes the tiger and it is green then the tiger visits the bear. If the bear visits the tiger and the tiger likes the cow then the tiger likes the bear. All red things are kind. If something visits the cow then the cow likes the tiger. If the bear is blue then the bear eats the cow.
The bear visits the cow.
@0: The bear visits the cow.[(triple1)] The cow likes the bear.[(triple2)] The tiger likes the bear.[(triple3)] @1: The cow eats the cow.[(((triple2) -> rule3))] The cow likes the tiger.[(((triple1) -> rule7))] The tiger eats the cow.[(((triple3) -> rule3))]