The lion chases the tiger. The lion sees the tiger. The lion does not visit the tiger. The tiger chases the lion. The tiger is not blue. The tiger is young. The tiger sees the lion. If something sees the lion then the lion chases the tiger.
The lion visits the tiger.
@0: The lion chases the tiger.[(triple1 OR ((triple7) -> rule1))] The lion does not visit the tiger.[(triple3)] The lion sees the tiger.[(triple2)] The tiger chases the lion.[(triple4)] The tiger is not blue.[(triple5)] The tiger is young.[(triple6)] The tiger sees the lion.[(triple7)]