The lion is nice. The lion is rough. The lion is round. The lion is young. The lion likes the tiger. The lion visits the tiger. The tiger chases the lion. The tiger is cold. The tiger is young. The tiger visits the lion. If someone visits the lion then the lion likes the tiger. If someone is nice then they chase the tiger.
The tiger does not chase the tiger.
@0: The lion is nice.[(triple1)] The lion is rough.[(triple2)] The lion is round.[(triple3)] The lion is young.[(triple4)] The lion likes the tiger.[(triple5 OR ((triple10) -> rule1))] The lion visits the tiger.[(triple6)] The tiger chases the lion.[(triple7)] The tiger is cold.[(triple8)] The tiger is young.[(triple9)] The tiger visits the lion.[(triple10)] @1: The lion chases the tiger.[(((triple1) -> rule2))]