The bald eagle chases the dog. The bald eagle chases the rabbit. The dog visits the rabbit. The rabbit does not chase the dog. The rabbit is green. The rabbit is kind. The rabbit likes the dog. If the dog is rough then the dog is not blue. If someone visits the bald eagle and they visit the rabbit then the bald eagle likes the rabbit. If the bald eagle chases the rabbit then the bald eagle visits the dog. If someone likes the rabbit then they are rough. If someone visits the rabbit then they visit the bald eagle. If someone likes the bald eagle and they are blue then the bald eagle does not visit the rabbit. If someone is rough and they like the rabbit then they chase the bald eagle. If the bald eagle is rough and the bald eagle likes the rabbit then the rabbit visits the dog.
The dog does not visit the rabbit.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The dog visits the rabbit.[(triple3)] The rabbit does not chase the dog.[(triple4)] The rabbit is green.[(triple5)] The rabbit is kind.[(triple6)] The rabbit likes the dog.[(triple7)] @1: The bald eagle visits the dog.[(((triple2) -> rule3))] The dog visits the bald eagle.[(((triple3) -> rule5))] @2: The bald eagle likes the rabbit.[(((((triple3) -> rule5) triple3) -> rule2))] @3: The bald eagle is rough.[(((((((triple3) -> rule5) triple3) -> rule2)) -> rule4))] @4: The bald eagle chases the bald eagle.[(((((((((triple3) -> rule5) triple3) -> rule2)) -> rule4) ((((triple3) -> rule5) triple3) -> rule2)) -> rule7))] The rabbit visits the dog.[(((((((((triple3) -> rule5) triple3) -> rule2)) -> rule4) ((((triple3) -> rule5) triple3) -> rule2)) -> rule8))]