The bear does not eat the lion. The lion likes the bear. The lion visits the bear. If the bear likes the lion and the lion eats the bear then the lion visits the bear. If someone visits the lion then the lion eats the bear. If someone is cold then they like the bear. If someone visits the bear and the bear eats the lion then they are blue. If someone likes the bear then they like the lion. If someone likes the lion then the lion is rough.
The bear visits the bear.
@0: The bear does not eat the lion.[(triple1)] The lion likes the bear.[(triple2)] The lion visits the bear.[(triple3)] @1: The lion likes the lion.[(((triple2) -> rule5))] @2: The lion is rough.[(((((triple2) -> rule5)) -> rule6))]