The bear visits the cow. The bear visits the lion. The cow visits the bear. The cow visits the lion. The lion does not eat the cow. The lion is nice. The lion visits the bear. If someone visits the cow then the cow needs the lion. If someone is green then they need the cow. If someone visits the lion then they visit the bear. If the bear eats the cow then the bear visits the lion. If someone is kind and cold then they do not need the bear. If someone needs the bear and they are not young then the bear eats the lion.
The bear visits the cow.
@0: The bear visits the cow.[(triple1)] The bear visits the lion.[(triple2)] The cow visits the bear.[(triple3 OR ((triple4) -> rule3))] The cow visits the lion.[(triple4)] The lion does not eat the cow.[(triple5)] The lion is nice.[(triple6)] The lion visits the bear.[(triple7)] @1: The bear visits the bear.[(((triple2) -> rule3))] The cow needs the lion.[(((triple1) -> rule1))]