The bald eagle eats the bear. The bald eagle is nice. The bald eagle sees the rabbit. The bear is nice. The bear sees the bald eagle. The mouse eats the rabbit. The mouse is round. The mouse does not like the bear. The rabbit does not eat the bear. The rabbit is nice. The rabbit likes the bald eagle. The rabbit likes the bear. If someone is nice then they eat the bald eagle. If someone eats the bald eagle and they do not eat the bear then they like the rabbit. If someone likes the rabbit then they like the mouse.
The bald eagle does not like the rabbit.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bear is nice.[(triple4)] The bear sees the bald eagle.[(triple5)] The mouse does not like the bear.[(triple8)] The mouse eats the rabbit.[(triple6)] The mouse is round.[(triple7)] The rabbit does not eat the bear.[(triple9)] The rabbit is nice.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the bear.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule1))] The bear eats the bald eagle.[(((triple4) -> rule1))] The rabbit eats the bald eagle.[(((triple10) -> rule1))] @2: The rabbit likes the rabbit.[(((((triple10) -> rule1) triple9) -> rule2))] @3: The rabbit likes the mouse.[(((((((triple10) -> rule1) triple9) -> rule2)) -> rule3))]