The bald eagle eats the rabbit. The bald eagle is kind. The bald eagle is young. The bald eagle likes the bear. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear eats the rabbit. The bear is big. The bear is young. The bear likes the bald eagle. The rabbit eats the bald eagle. The rabbit eats the bear. The rabbit is blue. The rabbit is young. The rabbit likes the bald eagle. If someone is young then they eat the rabbit. If the bald eagle is blue then the bald eagle is big. If someone likes the bear then they visit the bear. If someone eats the rabbit then they eat the bald eagle. If someone likes the rabbit and the rabbit visits the bald eagle then the rabbit visits the bear. If someone is cold then they are big. If someone eats the bald eagle then they like the bear. If someone likes the bear then they visit the bald eagle.
The bear eats the bear.
@0: The bald eagle eats the rabbit.[(triple1 OR ((triple3) -> rule1))] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the bear.[(triple4 OR ((((triple1) -> rule4)) -> rule7) OR ((((((triple3) -> rule1)) -> rule4)) -> rule7))] The bald eagle visits the bear.[(triple5 OR ((triple4) -> rule3) OR ((((((triple1) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule3))] The bald eagle visits the rabbit.[(triple6)] The bear eats the rabbit.[(triple7 OR ((triple9) -> rule1))] The bear is big.[(triple8)] The bear is young.[(triple9)] The bear likes the bald eagle.[(triple10)] The rabbit eats the bald eagle.[(triple11 OR ((((triple14) -> rule1)) -> rule4))] The rabbit eats the bear.[(triple12)] The rabbit is blue.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the bald eagle.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule4) OR ((((triple3) -> rule1)) -> rule4))] The bald eagle visits the bald eagle.[(((triple4) -> rule8) OR ((((((triple1) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule8))] The bear eats the bald eagle.[(((triple7) -> rule4) OR ((((triple9) -> rule1)) -> rule4))] The rabbit eats the rabbit.[(((triple14) -> rule1))] The rabbit likes the bear.[(((triple11) -> rule7) OR ((((((triple14) -> rule1)) -> rule4)) -> rule7))] @2: The bear likes the bear.[(((((triple7) -> rule4)) -> rule7) OR ((((((triple9) -> rule1)) -> rule4)) -> rule7))] The rabbit visits the bald eagle.[(((((triple11) -> rule7)) -> rule8) OR ((((((((triple14) -> rule1)) -> rule4)) -> rule7)) -> rule8))] The rabbit visits the bear.[(((((triple11) -> rule7)) -> rule3) OR ((((((((triple14) -> rule1)) -> rule4)) -> rule7)) -> rule3))] @3: The bear visits the bald eagle.[(((((((triple7) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule7)) -> rule8))] The bear visits the bear.[(((((((triple7) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule7)) -> rule3))]