The bald eagle is not green. The bald eagle needs the mouse. The dog eats the bald eagle. The dog is rough. The dog is not round. The dog needs the lion. The lion is cold. The lion is red. The lion is rough. The lion is round. The lion likes the mouse. The lion needs the bald eagle. The mouse is red. The mouse is rough. The mouse likes the lion. The mouse needs the lion. If someone needs the lion then they eat the dog. If someone eats the dog then the dog is red.
The bald eagle does not need the dog.
@0: The bald eagle is not green.[(triple1)] The bald eagle needs the mouse.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog is not round.[(triple5)] The dog is rough.[(triple4)] The dog needs the lion.[(triple6)] The lion is cold.[(triple7)] The lion is red.[(triple8)] The lion is rough.[(triple9)] The lion is round.[(triple10)] The lion likes the mouse.[(triple11)] The lion needs the bald eagle.[(triple12)] The mouse is red.[(triple13)] The mouse is rough.[(triple14)] The mouse likes the lion.[(triple15)] The mouse needs the lion.[(triple16)] @1: The dog eats the dog.[(((triple6) -> rule1))] The mouse eats the dog.[(((triple16) -> rule1))] @2: The dog is red.[(((((triple16) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))]