The lion chases the rabbit. The lion is cold. The lion is young. The lion likes the rabbit. The lion needs the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is young. The rabbit likes the lion. The rabbit needs the lion. If the lion chases the rabbit then the rabbit needs the lion. If the lion chases the rabbit and the lion needs the rabbit then the rabbit needs the lion. If something needs the lion and the lion is blue then it likes the rabbit.
The rabbit is not young.
@0: The lion chases the rabbit.[(triple1)] The lion is cold.[(triple2)] The lion is young.[(triple3)] The lion likes the rabbit.[(triple4)] The lion needs the rabbit.[(triple5)] The rabbit chases the lion.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is young.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit needs the lion.[(triple12 OR ((triple1) -> rule1) OR ((triple1 triple5) -> rule2))]