The bald eagle likes the cat. The cat is not rough. The mouse likes the bald eagle. If someone eats the cat then they are round. If someone eats the bald eagle then they eat the cat. If someone likes the bald eagle then they eat the bald eagle. If someone is nice then they need the bald eagle. If the mouse is not round then the mouse does not need the cat. If someone eats the bald eagle and they do not eat the cat then the cat does not need the bald eagle.
The cat is round.
@0: The bald eagle likes the cat.[(triple1)] The cat is not rough.[(triple2)] The mouse likes the bald eagle.[(triple3)] @1: The mouse eats the bald eagle.[(((triple3) -> rule3))] @2: The mouse eats the cat.[(((((triple3) -> rule3)) -> rule2))] @3: The mouse is round.[(((((((triple3) -> rule3)) -> rule2)) -> rule1))]