The bear is blue. The bear sees the cow. The bear sees the dog. The cow eats the bear. The cow is cold. The cow is nice. The dog eats the bear. The dog eats the tiger. The dog visits the bear. The tiger eats the cow. The tiger eats the dog. The tiger is blue. If something is cold then it visits the bear. If something eats the tiger and the tiger is kind then the tiger is rough. If something eats the cow then the cow sees the bear. If something is cold and it visits the bear then the bear is cold. If something sees the tiger and the tiger eats the bear then the bear is rough. If something is cold and rough then it eats the cow. If something sees the cow and the cow sees the dog then the dog sees the bear. If something eats the cow and the cow sees the dog then it visits the cow.
The tiger visits the dog.
@0: The bear is blue.[(triple1)] The bear sees the cow.[(triple2)] The bear sees the dog.[(triple3)] The cow eats the bear.[(triple4)] The cow is cold.[(triple5)] The cow is nice.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the tiger.[(triple8)] The dog visits the bear.[(triple9)] The tiger eats the cow.[(triple10)] The tiger eats the dog.[(triple11)] The tiger is blue.[(triple12)] @1: The cow sees the bear.[(((triple10) -> rule3))] The cow visits the bear.[(((triple5) -> rule1))] @2: The bear is cold.[(((triple5 ((triple5) -> rule1)) -> rule4))] @3: The bear visits the bear.[(((((triple5 ((triple5) -> rule1)) -> rule4)) -> rule1))]