The bald eagle is kind. The bald eagle likes the rabbit. The cat is not kind. The cat is not nice. The cat visits the lion. The lion is green. The lion is kind. The lion likes the bald eagle. The lion likes the cat. The lion does not visit the cat. The lion visits the rabbit. The rabbit is cold. The rabbit likes the bald eagle. The rabbit needs the bald eagle. If the rabbit needs the bald eagle and the bald eagle visits the cat then the rabbit likes the cat. If the cat needs the rabbit then the cat does not visit the bald eagle. If someone visits the cat and they do not visit the bald eagle then they are kind. If someone is cold and not kind then they like the lion. If someone needs the rabbit then they visit the lion. If someone needs the rabbit and the rabbit does not need the lion then the rabbit is green. If someone likes the lion then the lion needs the rabbit. If someone visits the lion then they are cold.
The bald eagle likes the cat.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The cat is not kind.[(triple3)] The cat is not nice.[(triple4)] The cat visits the lion.[(triple5)] The lion does not visit the cat.[(triple10)] The lion is green.[(triple6)] The lion is kind.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion likes the cat.[(triple9)] The lion visits the rabbit.[(triple11)] The rabbit is cold.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit needs the bald eagle.[(triple14)] @1: The cat is cold.[(((triple5) -> rule8))] @2: The cat likes the lion.[(((((triple5) -> rule8) triple3) -> rule4))] @3: The lion needs the rabbit.[(((((((triple5) -> rule8) triple3) -> rule4)) -> rule7))] @4: The lion visits the lion.[(((((((((triple5) -> rule8) triple3) -> rule4)) -> rule7)) -> rule5))] @5: The lion is cold.[(((((((((((triple5) -> rule8) triple3) -> rule4)) -> rule7)) -> rule5)) -> rule8))]