The bald eagle chases the cat. The bald eagle is round. The cat chases the bald eagle. The cat visits the bald eagle. The cat visits the rabbit. The rabbit chases the bald eagle. The rabbit does not chase the cat. The rabbit is kind. The rabbit is round. The rabbit does not like the bald eagle. The rabbit likes the cat. The rabbit visits the cat. If someone chases the cat then they visit the rabbit.
The rabbit does not visit the rabbit.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is round.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat visits the bald eagle.[(triple4)] The cat visits the rabbit.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit does not chase the cat.[(triple7)] The rabbit does not like the bald eagle.[(triple10)] The rabbit is kind.[(triple8)] The rabbit is round.[(triple9)] The rabbit likes the cat.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The bald eagle visits the rabbit.[(((triple1) -> rule1))]