The bald eagle is red. The bald eagle sees the lion. The cat likes the bald eagle. The cat visits the bald eagle. The cat does not visit the mouse. The lion sees the mouse. The mouse is green. If something visits the lion then it does not visit the bald eagle. If something sees the mouse then the mouse is cold. If something sees the cat and the cat sees the lion then it is not blue. If something is cold then it is blue. If something sees the cat then it is not nice. If something likes the mouse then the mouse visits the bald eagle. If something likes the bald eagle then it sees the mouse. If something is blue and it does not visit the bald eagle then the bald eagle visits the mouse.
The bald eagle is green.
@0: The bald eagle is red.[(triple1)] The bald eagle sees the lion.[(triple2)] The cat does not visit the mouse.[(triple5)] The cat likes the bald eagle.[(triple3)] The cat visits the bald eagle.[(triple4)] The lion sees the mouse.[(triple6)] The mouse is green.[(triple7)] @1: The cat sees the mouse.[(((triple3) -> rule7))] The mouse is cold.[(((triple6) -> rule2) OR ((((triple3) -> rule7)) -> rule2))] @2: The mouse is blue.[(((((triple6) -> rule2)) -> rule4) OR ((((((triple3) -> rule7)) -> rule2)) -> rule4))]