The bear visits the tiger. The cow is red. The lion does not eat the cow. The lion is not red. The lion visits the tiger. The tiger likes the bear. The tiger visits the bear. If someone is round then they like the lion. If someone visits the bear then the bear is red.
The bear visits the cow.
@0: The bear visits the tiger.[(triple1)] The cow is red.[(triple2)] The lion does not eat the cow.[(triple3)] The lion is not red.[(triple4)] The lion visits the tiger.[(triple5)] The tiger likes the bear.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bear is red.[(((triple7) -> rule2))]