The bald eagle likes the dog. The bald eagle visits the dog. The dog sees the squirrel. The dog visits the mouse. The mouse is big. The mouse visits the squirrel. The squirrel is blue. If someone is big then they like the dog. If someone likes the dog then they see the squirrel. If someone visits the bald eagle then the bald eagle is rough. If someone is blue then they visit the bald eagle. If someone likes the mouse and they are young then the mouse visits the dog. If someone visits the mouse and they visit the dog then they visit the bald eagle. If someone sees the squirrel then the squirrel is rough. If someone likes the dog then they like the squirrel.
The bald eagle likes the dog.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle visits the dog.[(triple2)] The dog sees the squirrel.[(triple3)] The dog visits the mouse.[(triple4)] The mouse is big.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel is blue.[(triple7)] @1: The bald eagle likes the squirrel.[(((triple1) -> rule8))] The bald eagle sees the squirrel.[(((triple1) -> rule2))] The mouse likes the dog.[(((triple5) -> rule1))] The squirrel is rough.[(((triple3) -> rule7) OR ((((triple1) -> rule2)) -> rule7) OR ((((((triple5) -> rule1)) -> rule2)) -> rule7))] The squirrel visits the bald eagle.[(((triple7) -> rule4))] @2: The bald eagle is rough.[(((((triple7) -> rule4)) -> rule3))] The mouse likes the squirrel.[(((((triple5) -> rule1)) -> rule8))] The mouse sees the squirrel.[(((((triple5) -> rule1)) -> rule2))]