The bald eagle is cold. The cat is big. The cat visits the bald eagle. The lion eats the bald eagle. The lion is big. The lion is green. The lion is red. The mouse is big. The mouse needs the cat. The mouse needs the lion. If something eats the bald eagle and it eats the cat then the bald eagle does not visit the mouse. If something is cold and it eats the bald eagle then the bald eagle visits the cat. If something visits the bald eagle and it is not rough then the bald eagle eats the lion. If something needs the cat then the cat visits the bald eagle. If something is green and it needs the lion then it does not visit the lion. Green things are red.
The mouse eats the lion.
@0: The bald eagle is cold.[(triple1)] The cat is big.[(triple2)] The cat visits the bald eagle.[(triple3 OR ((triple9) -> rule4))] The lion eats the bald eagle.[(triple4)] The lion is big.[(triple5)] The lion is green.[(triple6)] The lion is red.[(triple7 OR ((triple6) -> rule6))] The mouse is big.[(triple8)] The mouse needs the cat.[(triple9)] The mouse needs the lion.[(triple10)]