The lion chases the rabbit. The lion is big. The lion is blue. The lion is cold. The rabbit chases the lion. The rabbit sees the lion. The rabbit visits the lion. If the rabbit chases the lion then the rabbit visits the lion.
The lion does not see the lion.
@0: The lion chases the rabbit.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit sees the lion.[(triple6)] The rabbit visits the lion.[(triple7 OR ((triple5) -> rule1))]