The lion chases the rabbit. The lion eats the rabbit. The lion is big. The lion is kind. The lion is nice. The lion is rough. The lion is round. The lion likes the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit likes the lion. If someone chases the lion then they chase the rabbit.
The lion is not nice.
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is big.[(triple3)] The lion is kind.[(triple4)] The lion is nice.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7)] The lion likes the rabbit.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is big.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the lion.[(triple15)] @1: The rabbit chases the rabbit.[(((triple9) -> rule1))]