The bear eats the lion. The lion eats the bear. The rabbit eats the lion. If the bear visits the rabbit and the bear visits the lion then the rabbit sees the lion. If someone visits the lion then they are blue. If the lion visits the bear then the bear visits the lion. If the lion visits the rabbit and the lion eats the rabbit then the rabbit visits the bear. If someone eats the lion then the lion visits the bear. If someone is round then they eat the lion. If someone sees the lion and they are kind then the lion sees the rabbit. If the rabbit sees the lion then the rabbit is blue.
The lion does not visit the bear.
@0: The bear eats the lion.[(triple1)] The lion eats the bear.[(triple2)] The rabbit eats the lion.[(triple3)] @1: The lion visits the bear.[(((triple1) -> rule5) OR ((triple3) -> rule5))] @2: The bear visits the lion.[(((((triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] @3: The bear is blue.[(((((((triple1) -> rule5)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5)) -> rule3)) -> rule2))]