The lion does not chase the rabbit. The lion is not kind. The lion is nice. The lion does not need the rabbit. The lion visits the rabbit. The rabbit does not chase the lion. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is not round. The rabbit needs the lion. The rabbit visits the lion. If the rabbit visits the lion and the lion is not kind then the rabbit does not chase the lion. If someone is round and they need the rabbit then the rabbit chases the lion. If someone chases the lion and they do not visit the lion then the lion needs the rabbit. If someone needs the rabbit and the rabbit needs the lion then the rabbit is not round. If the rabbit does not need the lion then the lion is blue. If someone chases the lion and they do not visit the lion then they need the rabbit.
The lion is not blue.
@0: The lion does not chase the rabbit.[(triple1)] The lion does not need the rabbit.[(triple4)] The lion is nice.[(triple3)] The lion is not kind.[(triple2)] The lion visits the rabbit.[(triple5)] The rabbit does not chase the lion.[(triple6 OR ((triple12 triple2) -> rule1))] The rabbit is big.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is not round.[(triple10)] The rabbit needs the lion.[(triple11)] The rabbit visits the lion.[(triple12)]