The lion chases the rabbit. The lion is big. The lion is blue. The lion is cold. The lion is red. The lion is round. The lion needs the rabbit. The lion sees the rabbit. The rabbit chases the lion. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit is round. The rabbit needs the lion. The rabbit does not see the lion. If something needs the rabbit then it needs the lion.
The rabbit is not cold.
@0: The lion chases the rabbit.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is red.[(triple5)] The lion is round.[(triple6)] The lion needs the rabbit.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit does not see the lion.[(triple16)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is red.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the lion.[(triple15)] @1: The lion needs the lion.[(((triple7) -> rule1))]