The bald eagle needs the rabbit. The bald eagle sees the dog. The dog is nice. The dog is not rough. The dog needs the squirrel. The dog visits the bald eagle. The rabbit needs the dog. The rabbit sees the dog. The rabbit visits the squirrel. The squirrel is green. The squirrel is nice. The squirrel does not need the bald eagle. The squirrel does not need the dog. The squirrel sees the dog. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone sees the squirrel then they visit the dog. If someone visits the dog then the dog needs the rabbit. If someone needs the dog then the dog is cold. If someone needs the dog then the dog sees the squirrel. If someone sees the rabbit then the rabbit sees the dog. If the bald eagle is not blue then the bald eagle needs the squirrel.
The bald eagle visits the rabbit.
@0: The bald eagle needs the rabbit.[(triple1)] The bald eagle sees the dog.[(triple2)] The dog is nice.[(triple3)] The dog is not rough.[(triple4)] The dog needs the squirrel.[(triple5)] The dog visits the bald eagle.[(triple6)] The rabbit needs the dog.[(triple7)] The rabbit sees the dog.[(triple8 OR ((triple15) -> rule5))] The rabbit visits the squirrel.[(triple9)] The squirrel does not need the bald eagle.[(triple12)] The squirrel does not need the dog.[(triple13)] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The squirrel sees the dog.[(triple14)] The squirrel sees the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The dog is cold.[(((triple7) -> rule3))] The dog sees the squirrel.[(((triple7) -> rule4))] @2: The dog visits the dog.[(((((triple7) -> rule4)) -> rule1))] @3: The dog needs the rabbit.[(((((((triple7) -> rule4)) -> rule1)) -> rule2))]