The lion chases the rabbit. The lion is not big. The lion is cold. The lion is red. The lion likes the rabbit. The lion sees the rabbit. The rabbit chases the lion. The rabbit is not cold. The rabbit is kind. The rabbit is not red. The rabbit likes the lion. The rabbit sees the lion. If someone chases the lion and they chase the rabbit then they see the rabbit. If someone sees the rabbit and they do not chase the lion then the lion chases the rabbit. If someone likes the lion and the lion is big then the lion chases the rabbit. If someone sees the rabbit then the rabbit is not big. If someone is cold then they like the lion. If someone likes the lion and they do not chase the rabbit then the rabbit sees the lion.
The rabbit likes the rabbit.
@0: The lion chases the rabbit.[(triple1)] The lion is cold.[(triple3)] The lion is not big.[(triple2)] The lion is red.[(triple4)] The lion likes the rabbit.[(triple5)] The lion sees the rabbit.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit is kind.[(triple9)] The rabbit is not cold.[(triple8)] The rabbit is not red.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The lion likes the lion.[(((triple3) -> rule5))] The rabbit is not big.[(((triple6) -> rule4))]