The bald eagle is rough. The bald eagle is round. The bald eagle sees the cat. The bald eagle sees the dog. The bald eagle visits the cat. The bald eagle visits the rabbit. The cat chases the dog. The cat chases the rabbit. The cat visits the dog. The dog is rough. The dog sees the cat. The dog sees the rabbit. The rabbit is cold. The rabbit sees the cat. The rabbit visits the cat. The rabbit visits the dog. If something visits the rabbit then it visits the bald eagle. If something sees the cat and the cat visits the bald eagle then it visits the cat. If something chases the rabbit then it visits the rabbit. If the rabbit chases the cat then the cat is cold. If something sees the cat then it visits the dog. If the dog chases the bald eagle then the bald eagle sees the dog. If something is kind and rough then it chases the dog. If something visits the bald eagle and it sees the dog then the dog chases the rabbit.
The dog does not visit the cat.
@0: The bald eagle is rough.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle visits the cat.[(triple5 OR ((triple3 ((((triple8) -> rule3)) -> rule1)) -> rule2))] The bald eagle visits the rabbit.[(triple6)] The cat chases the dog.[(triple7)] The cat chases the rabbit.[(triple8)] The cat visits the dog.[(triple9)] The dog is rough.[(triple10)] The dog sees the cat.[(triple11)] The dog sees the rabbit.[(triple12)] The rabbit is cold.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit visits the cat.[(triple15 OR ((triple14 ((((triple8) -> rule3)) -> rule1)) -> rule2))] The rabbit visits the dog.[(triple16 OR ((triple14) -> rule5))] @1: The bald eagle visits the bald eagle.[(((triple6) -> rule1))] The bald eagle visits the dog.[(((triple3) -> rule5))] The cat visits the rabbit.[(((triple8) -> rule3))] The dog visits the dog.[(((triple11) -> rule5))] @2: The cat visits the bald eagle.[(((((triple8) -> rule3)) -> rule1))] The dog chases the rabbit.[(((((triple6) -> rule1) triple4) -> rule8))] @3: The dog visits the cat.[(((triple11 ((((triple8) -> rule3)) -> rule1)) -> rule2))] The dog visits the rabbit.[(((((((triple6) -> rule1) triple4) -> rule8)) -> rule3))] @4: The dog visits the bald eagle.[(((((((((triple6) -> rule1) triple4) -> rule8)) -> rule3)) -> rule1))]