The bald eagle is green. The bald eagle visits the mouse. The dog is big. The dog visits the mouse. The mouse is big. The mouse likes the bald eagle. The mouse visits the dog. If something is red then it does not like the bald eagle. If something likes the dog and it visits the mouse then the dog sees the mouse. If something is big then it likes the dog.
The bald eagle is green.
@0: The bald eagle is green.[(triple1)] The bald eagle visits the mouse.[(triple2)] The dog is big.[(triple3)] The dog visits the mouse.[(triple4)] The mouse is big.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse visits the dog.[(triple7)] @1: The dog likes the dog.[(((triple3) -> rule3))] The mouse likes the dog.[(((triple5) -> rule3))] @2: The dog sees the mouse.[(((((triple3) -> rule3) triple4) -> rule2))]