The bald eagle eats the tiger. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle sees the lion. The bald eagle does not visit the tiger. The dog eats the bald eagle. The dog does not eat the tiger. The dog is young. The dog sees the lion. The lion is not rough. The tiger sees the dog. If something eats the dog then the dog is rough. If something visits the tiger then it eats the lion. If something visits the lion and it eats the lion then the lion is not green. If something sees the lion then the lion eats the bald eagle. If something visits the dog then it is young. If something is big and it eats the bald eagle then the bald eagle eats the dog. Young things are big. If the tiger is rough and the tiger sees the lion then the lion visits the bald eagle.
The lion eats the bald eagle.
@0: The bald eagle does not visit the tiger.[(triple6)] The bald eagle eats the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle sees the lion.[(triple5)] The dog does not eat the tiger.[(triple8)] The dog eats the bald eagle.[(triple7)] The dog is young.[(triple9)] The dog sees the lion.[(triple10)] The lion is not rough.[(triple11)] The tiger sees the dog.[(triple12)] @1: The dog is big.[(((triple9) -> rule7))] The lion eats the bald eagle.[(((triple10) -> rule4) OR ((triple5) -> rule4))] @2: The bald eagle eats the dog.[(((((triple9) -> rule7) triple7) -> rule6))] @3: The dog is rough.[(((((((triple9) -> rule7) triple7) -> rule6)) -> rule1))]