The lion chases the rabbit. The lion is cold. The lion is kind. The lion likes the rabbit. The lion sees the rabbit. The rabbit is big. The rabbit is green. The rabbit is red. The rabbit likes the lion. The rabbit sees the lion. If someone chases the lion then they see the lion. If someone sees the lion then the lion likes the rabbit.
The lion does not see the lion.
@0: The lion chases the rabbit.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3)] The lion likes the rabbit.[(triple4 OR ((triple10) -> rule2))] The lion sees the rabbit.[(triple5)] The rabbit is big.[(triple6)] The rabbit is green.[(triple7)] The rabbit is red.[(triple8)] The rabbit likes the lion.[(triple9)] The rabbit sees the lion.[(triple10)]