The lion does not chase the rabbit. The lion eats the rabbit. The lion is blue. The lion is green. The lion is round. The lion visits the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit visits the lion. If something visits the lion and it eats the lion then it does not chase the rabbit. If something chases the lion then it eats the rabbit.
The lion chases the lion.
@0: The lion does not chase the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion is round.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit is big.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is green.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The rabbit does not chase the rabbit.[(((triple12 triple8) -> rule1))] The rabbit eats the rabbit.[(((triple7) -> rule2))]