The bald eagle eats the lion. The bald eagle is big. The bald eagle is red. The bald eagle is rough. The bald eagle likes the cat. The bald eagle likes the dog. The cat eats the bald eagle. The cat eats the lion. The dog eats the lion. The dog likes the cat. The lion chases the dog. The lion eats the dog. The lion is red. The lion is rough. The lion likes the cat. The lion likes the dog. If something likes the dog then the dog is big. If something is blue and it eats the dog then the dog is big. If the bald eagle likes the cat then the cat likes the bald eagle. If something eats the lion and the lion likes the bald eagle then it chases the lion. If something eats the lion then the lion chases the cat. If something chases the cat then the cat chases the bald eagle.
The cat chases the dog.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle likes the dog.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat eats the lion.[(triple8)] The dog eats the lion.[(triple9)] The dog likes the cat.[(triple10)] The lion chases the dog.[(triple11)] The lion eats the dog.[(triple12)] The lion is red.[(triple13)] The lion is rough.[(triple14)] The lion likes the cat.[(triple15)] The lion likes the dog.[(triple16)] @1: The cat likes the bald eagle.[(((triple5) -> rule3))] The dog is big.[(((triple16) -> rule1) OR ((triple6) -> rule1))] The lion chases the cat.[(((triple1) -> rule5) OR ((triple8) -> rule5) OR ((triple9) -> rule5))] @2: The cat chases the bald eagle.[(((((triple1) -> rule5)) -> rule6) OR ((((triple8) -> rule5)) -> rule6) OR ((((triple9) -> rule5)) -> rule6))]