The bald eagle eats the mouse. The cat is round. The mouse eats the cat. The mouse is kind. The mouse is rough. The mouse visits the bald eagle. The mouse visits the cat. If someone chases the mouse and the mouse chases the cat then they are nice. If someone visits the cat then they visit the mouse.
The cat is not nice.
@0: The bald eagle eats the mouse.[(triple1)] The cat is round.[(triple2)] The mouse eats the cat.[(triple3)] The mouse is kind.[(triple4)] The mouse is rough.[(triple5)] The mouse visits the bald eagle.[(triple6)] The mouse visits the cat.[(triple7)] @1: The mouse visits the mouse.[(((triple7) -> rule2))]