The lion eats the rabbit. The lion is cold. The rabbit eats the lion. The rabbit is not big. The rabbit is blue. The rabbit is not cold. The rabbit is not kind. The rabbit is nice. The rabbit likes the lion. The rabbit visits the lion. If something visits the rabbit and it does not visit the lion then the lion likes the rabbit. If something likes the lion then the lion does not visit the rabbit. If something likes the lion and the lion likes the rabbit then the lion visits the rabbit. If something is kind and it visits the lion then it likes the lion. If the lion is kind and the lion does not visit the rabbit then the rabbit does not eat the lion. If something likes the lion and the lion does not visit the rabbit then it eats the lion.
The rabbit eats the rabbit.
@0: The lion eats the rabbit.[(triple1)] The lion is cold.[(triple2)] The rabbit eats the lion.[(triple3 OR ((triple9 ((triple9) -> rule2)) -> rule6))] The rabbit is blue.[(triple5)] The rabbit is nice.[(triple8)] The rabbit is not big.[(triple4)] The rabbit is not cold.[(triple6)] The rabbit is not kind.[(triple7)] The rabbit likes the lion.[(triple9)] The rabbit visits the lion.[(triple10)] @1: The lion does not visit the rabbit.[(((triple9) -> rule2))]