The bald eagle eats the lion. The bald eagle is big. The bald eagle is rough. The bald eagle does not need the lion. The bald eagle needs the rabbit. The lion is red. The lion is rough. The lion does not need the bald eagle. The lion does not see the bald eagle. The lion sees the rabbit. The rabbit is cold. The rabbit sees the bald eagle. If something is rough then it does not eat the bald eagle. If something eats the rabbit then it is big. If something is red then it is big. If something is cold and it eats the lion then it is blue. If the bald eagle eats the rabbit then the bald eagle sees the lion. If the bald eagle does not see the rabbit then the bald eagle is red. If something sees the bald eagle then it needs the rabbit. If the rabbit does not eat the bald eagle then the rabbit needs the bald eagle.
The lion is not red.
@0: The bald eagle does not need the lion.[(triple4)] The bald eagle eats the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the rabbit.[(triple5)] The lion does not need the bald eagle.[(triple8)] The lion does not see the bald eagle.[(triple9)] The lion is red.[(triple6)] The lion is rough.[(triple7)] The lion sees the rabbit.[(triple10)] The rabbit is cold.[(triple11)] The rabbit sees the bald eagle.[(triple12)] @1: The bald eagle does not eat the bald eagle.[(((triple3) -> rule1))] The lion does not eat the bald eagle.[(((triple7) -> rule1))] The lion is big.[(((triple6) -> rule3))] The rabbit needs the rabbit.[(((triple12) -> rule7))]