The bald eagle eats the bear. The bald eagle eats the cat. The bald eagle eats the rabbit. The bald eagle is young. The bald eagle likes the bear. The bald eagle sees the cat. The bald eagle sees the rabbit. The bear eats the bald eagle. The cat eats the bald eagle. The cat likes the rabbit. The rabbit is round. The rabbit sees the bald eagle. If someone eats the bald eagle and they see the rabbit then they are round. If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. If someone is young and they eat the rabbit then the rabbit sees the cat. If someone eats the rabbit and the rabbit is cold then they are blue. If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. If someone eats the rabbit and they are blue then they eat the bald eagle. If someone likes the cat then the cat is round. If the rabbit likes the cat and the cat is round then the rabbit is blue.
The bald eagle does not eat the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the bear.[(triple5)] The bald eagle sees the cat.[(triple6)] The bald eagle sees the rabbit.[(triple7)] The bear eats the bald eagle.[(triple8)] The cat eats the bald eagle.[(triple9)] The cat likes the rabbit.[(triple10)] The rabbit is round.[(triple11)] The rabbit sees the bald eagle.[(triple12)] @1: The rabbit sees the cat.[(((triple4 triple3) -> rule3))] @2: The cat eats the rabbit.[(((((triple4 triple3) -> rule3) triple11) -> rule5))] @3: The rabbit likes the cat.[(((triple9 ((((triple4 triple3) -> rule3) triple11) -> rule5)) -> rule2))] @4: The cat is round.[(((((triple9 ((((triple4 triple3) -> rule3) triple11) -> rule5)) -> rule2)) -> rule8))] @5: The rabbit is blue.[(((((triple9 ((((triple4 triple3) -> rule3) triple11) -> rule5)) -> rule2) ((((triple9 ((((triple4 triple3) -> rule3) triple11) -> rule5)) -> rule2)) -> rule8)) -> rule9))]