The bald eagle chases the rabbit. The bald eagle visits the cat. The cat does not chase the bald eagle. The cat eats the rabbit. The cat is not nice. The cat visits the rabbit. The rabbit chases the bald eagle. The rabbit is red. The rabbit visits the bald eagle. The rabbit visits the cat. If someone visits the bald eagle then they do not eat the cat. If someone is green then they chase the cat. If someone chases the rabbit then they chase the cat. If someone chases the rabbit and they are blue then they chase the cat. If someone chases the cat then the cat chases the rabbit. If the cat eats the bald eagle and the cat eats the rabbit then the rabbit eats the bald eagle. If someone visits the bald eagle then they are nice. If the rabbit is nice and the rabbit does not chase the cat then the cat does not visit the rabbit.
The cat does not chase the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle visits the cat.[(triple2)] The cat does not chase the bald eagle.[(triple3)] The cat eats the rabbit.[(triple4)] The cat is not nice.[(triple5)] The cat visits the rabbit.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit is red.[(triple8)] The rabbit visits the bald eagle.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The bald eagle chases the cat.[(((triple1) -> rule3))] The rabbit does not eat the cat.[(((triple9) -> rule1))] The rabbit is nice.[(((triple9) -> rule7))] @2: The cat chases the rabbit.[(((((triple1) -> rule3)) -> rule5))] @3: The cat chases the cat.[(((((((triple1) -> rule3)) -> rule5)) -> rule3))]