The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion is round. The lion does not need the rabbit. The lion sees the rabbit. The lion visits the rabbit. The rabbit is not blue. The rabbit is cold. The rabbit is nice. The rabbit is not red. The rabbit is round. The rabbit does not need the lion. The rabbit sees the lion. The rabbit visits the lion. If someone needs the lion and the lion does not visit the rabbit then the lion does not see the rabbit. If the lion is not round then the lion sees the rabbit. If someone is nice and blue then they do not need the lion.
The lion is not nice.
@0: The lion does not need the rabbit.[(triple6)] The lion is blue.[(triple1)] The lion is cold.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5)] The lion sees the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit does not need the lion.[(triple14)] The rabbit is cold.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is not blue.[(triple9)] The rabbit is not red.[(triple12)] The rabbit is round.[(triple13)] The rabbit sees the lion.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The lion does not need the lion.[(((triple3 triple1) -> rule3))]