The bald eagle is green. The bald eagle is rough. The cat eats the lion. The cat is kind. The cat is nice. The lion eats the bald eagle. The lion eats the cat. The lion is green. The lion is kind. The lion sees the bald eagle. The lion sees the cat. The lion visits the bald eagle. If something visits the lion then it eats the bald eagle. Kind, nice things are cold. If something visits the cat and the cat visits the bald eagle then the cat is kind. If the lion eats the bald eagle then the bald eagle eats the cat. If something sees the lion and it eats the bald eagle then the bald eagle eats the cat. If something sees the cat then it visits the cat. If the cat is kind and the cat is nice then the cat is cold. If something eats the lion then the lion is rough.
The bald eagle does not visit the cat.
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The cat eats the lion.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion eats the cat.[(triple7)] The lion is green.[(triple8)] The lion is kind.[(triple9)] The lion sees the bald eagle.[(triple10)] The lion sees the cat.[(triple11)] The lion visits the bald eagle.[(triple12)] @1: The bald eagle eats the cat.[(((triple6) -> rule4))] The cat is cold.[(((triple4 triple5) -> rule2) OR ((triple4 triple5) -> rule7))] The lion is rough.[(((triple3) -> rule8))] The lion visits the cat.[(((triple11) -> rule6))]