The bald eagle eats the rabbit. The bald eagle sees the lion. The bald eagle sees the rabbit. The cat is kind. The cat visits the bald eagle. The lion is red. The lion is rough. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is kind. The rabbit sees the cat. The rabbit visits the lion. If someone eats the bald eagle then the bald eagle visits the cat. If someone is rough then they visit the cat. If someone eats the cat then they visit the bald eagle. If someone visits the cat then they eat the cat. If someone is round and they see the bald eagle then the bald eagle visits the rabbit. If someone is kind then they are red. If someone visits the bald eagle and the bald eagle is rough then the bald eagle sees the cat. If someone is red and they eat the cat then they visit the rabbit.
The lion does not eat the cat.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The cat is kind.[(triple4)] The cat visits the bald eagle.[(triple5)] The lion is red.[(triple6)] The lion is rough.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is kind.[(triple10)] The rabbit sees the cat.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The bald eagle visits the cat.[(((triple8) -> rule1))] The cat is red.[(((triple4) -> rule6))] The lion visits the cat.[(((triple7) -> rule2))] The rabbit is red.[(((triple10) -> rule6))] @2: The bald eagle eats the cat.[(((((triple8) -> rule1)) -> rule4))] The lion eats the cat.[(((((triple7) -> rule2)) -> rule4))] @3: The bald eagle visits the bald eagle.[(((((((triple8) -> rule1)) -> rule4)) -> rule3))] The lion visits the bald eagle.[(((((((triple7) -> rule2)) -> rule4)) -> rule3))] The lion visits the rabbit.[(((triple6 ((((triple7) -> rule2)) -> rule4)) -> rule8))]