The bald eagle is not green. The bald eagle is rough. The bald eagle sees the cat. The bald eagle does not visit the dog. The cat is green. The cat is rough. The cat is young. The dog visits the bald eagle. The dog does not visit the cat. The lion visits the bald eagle. If something sees the cat and it sees the bald eagle then the cat eats the lion. If something is young and red then it eats the lion. If the bald eagle does not eat the cat and the bald eagle is not red then the cat visits the lion. If something visits the lion then the lion is green. If something visits the lion and it sees the lion then the lion eats the dog. If something is green and it does not visit the bald eagle then it visits the lion. If something is green then it visits the lion. If the cat does not eat the dog and the dog does not eat the lion then the dog visits the lion.
The dog is not rough.
@0: The bald eagle does not visit the dog.[(triple4)] The bald eagle is not green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the cat.[(triple3)] The cat is green.[(triple5)] The cat is rough.[(triple6)] The cat is young.[(triple7)] The dog does not visit the cat.[(triple9)] The dog visits the bald eagle.[(triple8)] The lion visits the bald eagle.[(triple10)] @1: The cat visits the lion.[(((triple5) -> rule7))] @2: The lion is green.[(((((triple5) -> rule7)) -> rule4))] @3: The lion visits the lion.[(((((((triple5) -> rule7)) -> rule4)) -> rule7))]